{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:56Z","timestamp":1776333536203,"version":"3.51.2"},"reference-count":120,"publisher":"Elsevier","isbn-type":[{"value":"9780444527264","type":"print"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["GR\/S30580\/01"],"award-info":[{"award-number":["GR\/S30580\/01"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["GR\/R29673"],"award-info":[{"award-number":["GR\/R29673"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/C523229\/1"],"award-info":[{"award-number":["EP\/C523229\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["00\/PI.1\/C075"],"award-info":[{"award-number":["00\/PI.1\/C075"]}],"id":[{"id":"10.13039\/501100001602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-6526(06)80014-3","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"329-376","source":"Crossref","is-referenced-by-count":68,"title":["Symmetry in Constraint Programming"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80014-3_bib1","series-title":"DAC","isbn-type":"print","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1109\/DAC.2002.1012719","article-title":"Solving difficult sat instances in the presence of symmetry","author":"Aloul","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/1581134614"},{"key":"10.1016\/S1574-6526(06)80014-3_bib2","series-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","first-page":"271","article-title":"Efficient symmetry breaking for boolean satisfiability","author":"Aloul","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib3","series-title":"TABLEAUX","isbn-type":"print","first-page":"40","article-title":"Local symmetries in propositional logic","volume":"volume 1847","author":"Arai","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/354067697X"},{"key":"10.1016\/S1574-6526(06)80014-3_bib4","series-title":"Workshop on Modeling and Computing with Concurrent Constraint Programming held in conjunction with CP 98","article-title":"Excluding symmetries in concurrent constraint programming","author":"Backofen","year":"1998"},{"key":"10.1016\/S1574-6526(06)80014-3_bib5","series-title":"Principles and Practice of Constraint Programming \u2013 CP '99","first-page":"73","article-title":"Excluding symmetries in constraint-based search","author":"Backofen","year":"1999"},{"key":"10.1016\/S1574-6526(06)80014-3_bib6","unstructured":"R. Bailey, P. Cameron, P. Dobcs\u00e1nyi, J. Morgan, L. Soicher. Designs on the web. Discrete Math, Forthcoming."},{"key":"10.1016\/S1574-6526(06)80014-3_bib7","series-title":"Fourth International Workshop on Symmetry and Constraint Satisfaction Problems","article-title":"Exploiting dominance in three symmetric problems","author":"Beck","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib8","series-title":"Proceedings of the 2nd workshop on Principles and Practices of Constraint Programming \u2013 PPCP'94","first-page":"246","article-title":"Study of symmetry in constraint satisfaction problems","author":"Benhamou","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib9","series-title":"Constraint Processing, Selected Papers","isbn-type":"print","first-page":"157","article-title":"Using bidirectionality to speed up arc-consistency processing","volume":"volume 923","author":"Bessi\u00e8re","year":"1995","ISBN":"https:\/\/id.crossref.org\/isbn\/3540594795"},{"key":"10.1016\/S1574-6526(06)80014-3_bib10","series-title":"AAAI","isbn-type":"print","first-page":"112","article-title":"The complexity of global constraints","author":"Bessi\u00e8re","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/0262511835"},{"key":"10.1016\/S1574-6526(06)80014-3_bib11","series-title":"Proceedings of CSCLP 2004: Joint Annual Workshop of ERCIM\/CoLogNet on Constraint Solving and Constraint Logic Programming","article-title":"Combining Branch & Bound and SBDD to solve Soft CSPs","author":"Bistarelli","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib12","series-title":"Proc. of CP-AI-OR'02","first-page":"1396","article-title":"Constraint programming and hybrid formulations for three Life designs","author":"Bosch","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib13","first-page":"6","article-title":"Peaceably coexisting armies of queens","volume":"62","author":"Bosch","year":"1999","journal-title":"Optima (Newsletter of the Mathematical Programming Society)"},{"key":"10.1016\/S1574-6526(06)80014-3_bib14","series-title":"Handbook of MAGMA functions","author":"Bosma","year":"1993"},{"issue":"1","key":"10.1016\/S1574-6526(06)80014-3_bib15","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/s100090200074","article-title":"Symmetric spin","volume":"4","author":"Bosnacki","year":"2002","journal-title":"STTT"},{"key":"10.1016\/S1574-6526(06)80014-3_bib16","series-title":"Applied Algebra, Algebraic Algorithms and Error-Correcting Codes","first-page":"99","article-title":"Backtrack Searching in the Presence of Symmetry","author":"Brown","year":"1988"},{"key":"10.1016\/S1574-6526(06)80014-3_bib17","series-title":"Fundamental Algorithms for Permutation Groups","author":"Butler","year":"1991"},{"key":"10.1016\/S1574-6526(06)80014-3_bib18","series-title":"Arc-consistency for a chain of lexicographic ordering constraints","author":"Carlsson","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib19","series-title":"AAAI\/IAAI","first-page":"326","article-title":"On the computation of local interchangeability in discrete constraint satisfaction problems","author":"Choueiry","year":"1998"},{"issue":"1\/2","key":"10.1016\/S1574-6526(06)80014-3_bib20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF00625969","article-title":"Exploiting symmetry in temporal logic model checking","volume":"9","author":"Clarke","year":"1996","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/S1574-6526(06)80014-3_bib21","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1\u20135, 2005, Proceedings","isbn-type":"print","first-page":"17","article-title":"Symmetry definitions for constraint satisfaction problems","volume":"volume 3709","author":"Cohen","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540292381"},{"key":"10.1016\/S1574-6526(06)80014-3_bib22","series-title":"KR'96: Principles of Knowledge Representation and Reasoning","first-page":"148","article-title":"Symmetry-breaking predicates for search problems","author":"Crawford","year":"1996"},{"key":"10.1016\/S1574-6526(06)80014-3_bib23","series-title":"ACM\/IEEE Design Automation Conference \u2013 DAC","first-page":"530","article-title":"Exploiting Structure in Symmetry Generation for CNF","author":"Darga","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib24","series-title":"CADE","isbn-type":"print","first-page":"478","article-title":"Ground resolution with group computations on semantic symmetries","volume":"volume 1104","author":"de la Tour","year":"1996","ISBN":"https:\/\/id.crossref.org\/isbn\/3540615113"},{"key":"10.1016\/S1574-6526(06)80014-3_bib26","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1613\/jair.1555","article-title":"Generalizing boolean satisfiability ii: Theory","volume":"22","author":"Dixon","year":"2004","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/S1574-6526(06)80014-3_bib27","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1613\/jair.1353","article-title":"Generalizing boolean satisfiability i: Background and survey of existing work","volume":"21","author":"Dixon","year":"2004","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/S1574-6526(06)80014-3_bib28","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1613\/jair.1656","article-title":"Generalizing boolean satisfiability iii: Implementation","volume":"23","author":"Dixon","year":"2005","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"10.1016\/S1574-6526(06)80014-3_bib29","article-title":"Almost-symmetry in search","author":"Donaldson","year":"2005"},{"key":"10.1016\/S1574-6526(06)80014-3_bib30","series-title":"FM","isbn-type":"print","first-page":"481","article-title":"Automatic symmetry detection for model checking using computational group theory","volume":"volume 3582","author":"Donaldson","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540278826"},{"issue":"6","key":"10.1016\/S1574-6526(06)80014-3_bib31","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.entcs.2005.04.010","article-title":"Finding symmetry in models of concurrent systems by static channel diagram analysis","volume":"128","author":"Donaldson","year":"2005","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/S1574-6526(06)80014-3_bib32","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2005.09.007","article-title":"Spin-to-grape: A tool for analysing symmetry in promela models","volume":"139","author":"Donaldson","year":"2005","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"10.1016\/S1574-6526(06)80014-3_bib33","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2001","first-page":"93","article-title":"Symmetry breaking","author":"Fahle","year":"2001"},{"key":"10.1016\/S1574-6526(06)80014-3_bib34","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2001","first-page":"77","article-title":"Global cut framework for removing symmetries","author":"Focacci","year":"2001"},{"key":"10.1016\/S1574-6526(06)80014-3_bib35","series-title":"Proceedings of the CP'01 Workshop on Modelling and Problem Formulation","first-page":"1","article-title":"Matrix modelling","author":"Flener","year":"2001"},{"key":"10.1016\/S1574-6526(06)80014-3_bib36","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2002","first-page":"462","article-title":"Breaking row and column symmetries in matrix models","author":"Flener","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib37","series-title":"AIPS","isbn-type":"print","first-page":"83","article-title":"Extending the exploitation of symmetries in planning","author":"Fox","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/1577351428"},{"key":"10.1016\/S1574-6526(06)80014-3_bib38","series-title":"IJCAI","isbn-type":"print","first-page":"956","article-title":"The detection and exploitation of symmetry in planning problems","author":"Fox","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/1558606130"},{"key":"10.1016\/S1574-6526(06)80014-3_bib39","series-title":"AAAI-91","first-page":"227","article-title":"Eliminating Interchangeable Values in Constraint Satisfaction Problems","author":"Freuder","year":"1991"},{"key":"10.1016\/S1574-6526(06)80014-3_bib40","series-title":"Proceedings of the Eighth International Conference on Principles and Practice of Constraint Programming","first-page":"93","article-title":"Global constraints for lexicographic orderings","author":"Frisch","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib41","series-title":"Proceedings of the Third International Workshop on Symmetry in Constraint Satisfaction Problems","article-title":"Constraints for breaking all row and column symmetries in a three-by-two matrix","author":"Frisch","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib42","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 \u2013 October 3, 2003, Proceedings","isbn-type":"print","first-page":"318","article-title":"Constraints for breaking more row and column symmetries","volume":"volume 2833","author":"Frisch","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/3540202021"},{"key":"10.1016\/S1574-6526(06)80014-3_bib43","series-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","first-page":"221","article-title":"Multiset ordering constraints","author":"Frisch","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib44","series-title":"Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004","isbn-type":"print","first-page":"171","article-title":"Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern","author":"Frisch","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/1586034529"},{"key":"10.1016\/S1574-6526(06)80014-3_bib45","series-title":"IJCAI","first-page":"109","article-title":"The rules of constraint modelling","author":"Frisch","year":"2005"},{"key":"10.1016\/S1574-6526(06)80014-3_bib46","series-title":"Algorithms, and Programming","year":"2000"},{"key":"10.1016\/S1574-6526(06)80014-3_bib47","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1080\/10724117.1999.12088462","article-title":"Chess queens and maximum unattacked cells","author":"Gardner","year":"1999","journal-title":"Math Horizon"},{"key":"10.1016\/S1574-6526(06)80014-3_bib48","series-title":"Proceedings of the Third International Workshop on Symmetry in Constraint Satisfaction Problems","first-page":"153","article-title":"NuSBDS: Symmetry Breaking made Easy","author":"Gent","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib49","article-title":"Symmetry breaking in the alien tiles puzzle","author":"Gent","year":"2000"},{"key":"10.1016\/S1574-6526(06)80014-3_bib50","series-title":"Proceedings of the Third International Workshop on Symmetry in Constraint Satisfaction Problems","first-page":"55","article-title":"Conditional symmetry in the all-interval series problem","author":"Gent","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib51","series-title":"Proceedings of European Conference on Artificial Intelligence \u2013 ECAI 2000","first-page":"599","article-title":"Symmetry breaking in constraint programming","author":"Gent","year":"2000"},{"key":"10.1016\/S1574-6526(06)80014-3_bib52","series-title":"Groups and Constraints: Symmetry Breaking During Search","author":"Gent","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib53","series-title":"Principles and Practice of Constraint Programming \u2013 CP2003","first-page":"333","article-title":"Generic SBDD Using Computational Group Theory","author":"Gent","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib54","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1\u20135, 2005, Proceedings","isbn-type":"print","first-page":"256","article-title":"Conditional symmetry breaking","volume":"volume 3709","author":"Gent","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540292381"},{"key":"10.1016\/S1574-6526(06)80014-3_bib55","series-title":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","isbn-type":"print","first-page":"138","article-title":"Qcsp-solve: A solver for quantified constraint satisfaction problems","author":"Gent","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/0938075934"},{"issue":"3","key":"10.1016\/S1574-6526(06)80014-3_bib56","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00137870","article-title":"Interval propagation to reason about sets: Definition and implementation of a practical language","volume":"1","author":"Gervet","year":"1997","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80014-3_bib58","series-title":"Almost-symmetry in search","first-page":"60","article-title":"Conclusions of the SymNET workshop on almost-symmetry in search","author":"Gregory","year":"2005"},{"key":"10.1016\/S1574-6526(06)80014-3_bib59","series-title":"Proceedings SymCon-01: Symmetry in Constraints","first-page":"9","article-title":"Symmetry Breaking and the Social Golfer Problem","author":"Harvey","year":"2001"},{"key":"10.1016\/S1574-6526(06)80014-3_bib60","series-title":"Proceedings SymCon-04: Symmetry and Constraint Satisfaction Problems","first-page":"42","article-title":"A note on the compatibility of static symmetry breaking constraints and dynamic symmetry breaking methods","author":"Harvey","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib61","series-title":"Almost-Symmetry in Search","first-page":"50","article-title":"Symmetric relaxation techniques for constraint programming","author":"Harvey","year":"2005"},{"key":"10.1016\/S1574-6526(06)80014-3_bib62","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1\u20135, 2005, Proceedings","isbn-type":"print","first-page":"286","article-title":"Solving the molr and social golfers problems","volume":"volume 3709","author":"Harvey","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540292381"},{"key":"10.1016\/S1574-6526(06)80014-3_bib63","series-title":"Proceedings SymCon-03: Third International workshop on Symmetry in Constraint Satisfaction Problems","first-page":"86","article-title":"Symmetry Group Expressions for CSPs","author":"Harvey","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib64","series-title":"International Joint Conference on Artificial Intelligence \u2013 IJCAI 2003","first-page":"277","article-title":"Tractable Symmetry Breaking for CSPs with Interchangeable Values","author":"Hentenryck","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib65","series-title":"Handbook of Computational Group Theory","isbn-type":"print","author":"Holt","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/1584883723"},{"issue":"1\/2","key":"10.1016\/S1574-6526(06)80014-3_bib66","first-page":"41","article-title":"Better verification through symmetry","volume":"9","author":"Ip","year":"1996","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/S1574-6526(06)80014-3_bib67","series-title":"The Fourth International Workshop on Modelling and Reformulating Constraint Satisfaction Problems","first-page":"102","article-title":"Representations of sets and multisets in constraint programming","author":"Jefferson","year":"2005"},{"key":"10.1016\/S1574-6526(06)80014-3_bib69","series-title":"AISC, volume 3249 of Lecture Notes in Computer Science","isbn-type":"print","first-page":"199","article-title":"New developments in symmetry breaking in search using computational group theory","author":"Kelsey","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540232125"},{"key":"10.1016\/S1574-6526(06)80014-3_bib70","series-title":"Proceedings SymCon-02: Symmetry in Constraints","first-page":"1","article-title":"Symmetry-Breaking Constraints for Matrix Models","author":"Kiziltan","year":"2002"},{"issue":"3","key":"10.1016\/S1574-6526(06)80014-3_bib71","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF00265682","article-title":"Short proofs for tricky formulas","volume":"22","author":"Krishnamurthy","year":"1985","journal-title":"Acta Inf."},{"key":"10.1016\/S1574-6526(06)80014-3_bib72","series-title":"AAAI","isbn-type":"print","first-page":"397","article-title":"Neighborhood interchangeability and dynamic bundling for non-binary finite CSPs","author":"Lal","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/157735236X"},{"key":"10.1016\/S1574-6526(06)80014-3_bib73","first-page":"54","article-title":"Model induction: A new source of CSP model redundancy","author":"Law","year":"2002","journal-title":"AAAI\/IAAI"},{"key":"10.1016\/S1574-6526(06)80014-3_bib74","unstructured":"Y.C. Law, J.H.-M. Lee. Symmetry breaking constraints for value symmetries in constraint satisfaction. Constraints, Forthcoming."},{"key":"10.1016\/S1574-6526(06)80014-3_bib75","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 \u2013 October 1, 2004, Proceedings","isbn-type":"print","first-page":"362","article-title":"Global constraints for integer and set value precedence","volume":"volume 3258","author":"Law","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540232419"},{"issue":"4\/5","key":"10.1016\/S1574-6526(06)80014-3_bib76","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/S0747-7171(08)80103-4","article-title":"Permutation group algorithms based on partitions, i: Theory and algorithms","volume":"12","author":"Leon","year":"1991","journal-title":"J. Symb. Comput."},{"issue":"1","key":"10.1016\/S1574-6526(06)80014-3_bib77","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1023\/B:AMAI.0000018578.92398.10","article-title":"The complexity of symmetry-breaking formulas","volume":"41","author":"Luks","year":"2004","journal-title":"Ann. Math. Artif. Intell."},{"issue":"6","key":"10.1016\/S1574-6526(06)80014-3_bib78","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1287\/inte.31.6.29.9647","article-title":"Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming","volume":"31","author":"Lustig","year":"2001","journal-title":"INTERFACES"},{"key":"10.1016\/S1574-6526(06)80014-3_bib79","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10107-002-0358-2","article-title":"Pruning by isomorphism in branch-and-cut","volume":"94","author":"Margot","year":"2002","journal-title":"Mathematical Programming"},{"key":"10.1016\/S1574-6526(06)80014-3_bib80","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10107-003-0394-6","article-title":"Exploiting orbits in symmetric ILP","volume":"98","author":"Margot","year":"2003","journal-title":"Mathematical Programming Ser B."},{"key":"10.1016\/S1574-6526(06)80014-3_bib81","series-title":"Almost-Symmetry in Search","first-page":"37","article-title":"Approaches to symmetry breaking for weak symmetries","author":"Martin","year":"2005"},{"key":"10.1016\/S1574-6526(06)80014-3_bib82","series-title":"Principles and Practice of Constraint Programming","first-page":"431","article-title":"Partial symmetry breaking","author":"McDonald","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib83","first-page":"45","article-title":"Practical graph isomorphism","volume":"30","author":"McKay","year":"1981","journal-title":"Congressium Numerantium"},{"key":"10.1016\/S1574-6526(06)80014-3_bib84","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","article-title":"Exploiting Symmetries within Constraint Satisfaction Search","volume":"129","author":"Meseguer","year":"2001","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80014-3_bib85","article-title":"Symmetry and Complexity in Propositional Reasoning","author":"Molony","year":"1999","journal-title":"PhD thesis, University of Edinburgh"},{"issue":"4","key":"10.1016\/S1574-6526(06)80014-3_bib86","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/8.4.511","article-title":"A new method for automated finite model building exploiting failures and symmetries","volume":"8","author":"Peltier","year":"1998","journal-title":"J. Log. Comput."},{"key":"10.1016\/S1574-6526(06)80014-3_bib87","series-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","first-page":"1381","article-title":"Applying interchangeability techniques to the distributed breakout algorithm","author":"Petcu","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib88","article-title":"Constraint Programming, Search and Symmetry","author":"Petrie","year":"2005","journal-title":"PhD thesis, University of Huddersfield"},{"key":"10.1016\/S1574-6526(06)80014-3_bib89","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 \u2013 October 3, 2003, Proceedings","isbn-type":"print","first-page":"930","article-title":"Symmetry breaking in graceful graphs","volume":"volume 2833","author":"Petrie","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/3540202021"},{"key":"10.1016\/S1574-6526(06)80014-3_bib90","series-title":"In the proceedings of the Second Starting AI Researchers' Symposium \u2013 STAIRS 2004","first-page":"96","article-title":"Dynamic symmetry breaking in constraint programming and linear programming hybrids","author":"Petrie","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib91","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/A:1021809724362","article-title":"Negative effects of modeling techniques on search performance","volume":"118","author":"Prestwich","year":"2003","journal-title":"Annals of Operations Research"},{"key":"10.1016\/S1574-6526(06)80014-3_bib92","series-title":"Second International Workshop on Symmetry in Constraint Satisfaction Problem","article-title":"Supersymmetric modeling for local search","author":"Prestwich","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib93","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 \u2013 October 1, 2004, Proceedings","isbn-type":"print","first-page":"512","article-title":"Full dynamic substitutability by sat encoding","volume":"volume 3258","author":"Prestwich","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540232419"},{"key":"10.1016\/S1574-6526(06)80014-3_bib94","series-title":"CP-01 Workshop on Modelling and Problem Formulation","article-title":"First-solution search with symmetry breaking and implied constraints","author":"Prestwich","year":"2001"},{"key":"10.1016\/S1574-6526(06)80014-3_bib95","series-title":"CPAIOR, volume 3524 of Lecture Notes in Computer Science","isbn-type":"print","first-page":"273","article-title":"Symmetry breaking and local search spaces","author":"Prestwich","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540261524"},{"key":"10.1016\/S1574-6526(06)80014-3_bib96","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1287\/ijoc.10.3.265","article-title":"ILP and Constraint Programming Approaches to a Template Design Problem","volume":"10","author":"Proll","year":"1998","journal-title":"INFORMS Journal on Computing"},{"key":"10.1016\/S1574-6526(06)80014-3_bib97","series-title":"Methodologies for Intelligent Systems (Proceedings of ISMIS'93)","first-page":"350","article-title":"On the satisfiability of symmetrical constraint satisfaction problems","author":"Puget","year":"1993"},{"key":"10.1016\/S1574-6526(06)80014-3_bib98","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 \u2013 October 3, 2003, Proceedings","isbn-type":"print","first-page":"585","article-title":"Symmetry breaking using stabilizers","volume":"volume 2833","author":"Puget","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/3540202021"},{"issue":"1","key":"10.1016\/S1574-6526(06)80014-3_bib99","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s10601-004-5306-8","article-title":"Symmetry breaking revisited","volume":"10","author":"Puget","year":"2005","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80014-3_bib100","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1\u20135, 2005, Proceedings","isbn-type":"print","first-page":"475","article-title":"Automatic detection of variable and value symmetries","volume":"volume 3709","author":"Puget","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540292381"},{"key":"10.1016\/S1574-6526(06)80014-3_bib101","first-page":"272","article-title":"Breaking symmetries in all-different problems","author":"Puget","year":"2005","journal-title":"IJCAI"},{"key":"10.1016\/S1574-6526(06)80014-3_bib102","series-title":"CP, volume 2470 of Lecture Notes in Computer Science","isbn-type":"print","first-page":"446","article-title":"Symmetry breaking revisited","author":"Puget","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/3540441204"},{"key":"10.1016\/S1574-6526(06)80014-3_bib103","series-title":"Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004","isbn-type":"print","first-page":"211","article-title":"Tractable symmetry breaking using restricted search trees","author":"Roney-Dougal","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/1586034529"},{"key":"10.1016\/S1574-6526(06)80014-3_bib105","series-title":"Workshop on Non Binary Constraints, ECAI-98","article-title":"Using Symmetry of Global Constraints to Speed up the Resolution of Constraint Satisfaction Problems","author":"Roy","year":"1998"},{"key":"10.1016\/S1574-6526(06)80014-3_bib106","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 \u2013 October 1, 2004, Proceedings","isbn-type":"print","first-page":"604","article-title":"Hybrid set domains to strengthen constraint propagation and reduce symmetries","volume":"volume 3258","author":"Sadler","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540232419"},{"key":"10.1016\/S1574-6526(06)80014-3_bib107","series-title":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","isbn-type":"print","first-page":"298","article-title":"Structural symmetry breaking","author":"Sellmann","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/0938075934"},{"key":"10.1016\/S1574-6526(06)80014-3_bib108","article-title":"Permutation group algorithms","author":"Seress","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib109","unstructured":"I. Shlyakhter. Generating effective symmetry-breaking predicates for search problems. Discrete Applied Mathematics. To appear Earlier version presented at the SAT 01 Workshop."},{"issue":"2","key":"10.1016\/S1574-6526(06)80014-3_bib110","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/350887.350891","article-title":"Smc: a symmetry-based model checker for verification of safety and liveness properties","volume":"9","author":"Sistla","year":"2000","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/S1574-6526(06)80014-3_bib111","series-title":"Tenth Workshop on Automated Reasoning","article-title":"Symmetry in boolean constraints: Some complexity issues","author":"Smaill","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib112","series-title":"Personal communication to Warwick Harvey","author":"Smith","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib113","article-title":"Reducing Symmetry in a Combinatorial Design Problem","author":"Smith","year":"2001"},{"key":"10.1016\/S1574-6526(06)80014-3_bib114","series-title":"Principles and Practice of Constraint Programming \u2013 CP2002","first-page":"402","article-title":"A dual graph translation of a problem in \u2018Life\u2019","author":"Smith","year":"2002"},{"key":"10.1016\/S1574-6526(06)80014-3_bib115","series-title":"CPAIOR, volume 3011 of Lecture Notes in Computer Science","isbn-type":"print","first-page":"271","article-title":"Models and symmetry breaking for \u2018peaceable armies of queens\u2019","author":"Smith","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/354021836X"},{"key":"10.1016\/S1574-6526(06)80014-3_bib116","series-title":"Topics in Algebraic Graph Theory","first-page":"250","article-title":"Computing with graphs and groups","author":"Soicher","year":"2004"},{"key":"10.1016\/S1574-6526(06)80014-3_bib117","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0166-218X(99)00039-6","article-title":"The symmetry rule in propositional logic","volume":"96\u201397","author":"Urquhart","year":"1999","journal-title":"Discrete Applied Mathematics"},{"key":"10.1016\/S1574-6526(06)80014-3_bib119","series-title":"Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004","isbn-type":"print","first-page":"226","article-title":"Complete and incomplete algorithms for the queen graph coloring problem","author":"Vasquez","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/1586034529"},{"key":"10.1016\/S1574-6526(06)80014-3_bib25","series-title":"Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004,","isbn-type":"print","author":"de M\u00e1ntaras","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/1586034529"},{"key":"10.1016\/S1574-6526(06)80014-3_bib57","series-title":"IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","year":"2003"},{"key":"10.1016\/S1574-6526(06)80014-3_bib68","series-title":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","isbn-type":"print","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/0938075934"},{"key":"10.1016\/S1574-6526(06)80014-3_bib104","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 \u2013 October 3, 2003, Proceedings, volume 2833 of Lecture Notes in Computer Science","isbn-type":"print","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/3540202021"},{"key":"10.1016\/S1574-6526(06)80014-3_bib118","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1\u20135, 2005, Proceedings","isbn-type":"print","volume":"volume 3709","year":"2005","ISBN":"https:\/\/id.crossref.org\/isbn\/3540292381"},{"key":"10.1016\/S1574-6526(06)80014-3_bib120","series-title":"Principles and Practice of Constraint Programming \u2013 CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 \u2013 October 1, 2004, Proceedings","isbn-type":"print","volume":"volume 3258","year":"2004","ISBN":"https:\/\/id.crossref.org\/isbn\/3540232419"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800143?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800143?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:54:41Z","timestamp":1761620081000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":120,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80014-3","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}