{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T01:10:18Z","timestamp":1736039418193,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292388"},{"type":"electronic","value":"9783540320500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564751_22","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T13:31:28Z","timestamp":1129642288000},"page":"271-285","source":"Crossref","is-referenced-by-count":1,"title":["Symmetry and Consistency"],"prefix":"10.1007","author":[{"given":"Ian P.","family":"Gent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Kelsey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Linton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colva","family":"Roney-Dougal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/3-540-46135-3_31","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"P. Flener","year":"2002","unstructured":"Flener, P., Frisch, A.M., Hnich, B., K\u0131z\u0131ltan, Z., Miguel, I., Pearson, J., Walsh, T.: Breaking row and column symmetries in matrix models. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 462\u2013476. Springer, Heidelberg (2002)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-540-48085-3_6","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"R. Backofen","year":"1999","unstructured":"Backofen, R., Will, S.: Excluding symmetries in constraint-based search. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 73\u201387. Springer, Heidelberg (1999)"},{"issue":"3","key":"22_CR3","first-page":"203","volume":"3","author":"C.A. Brown","year":"1996","unstructured":"Brown, C.A., Finkelstein, L., Purdom Jr., P.W.: Backtrack searching in the presence of symmetry. Nordic Journal of Computing\u00a03(3), 203\u2013219 (1996)","journal-title":"Nordic Journal of Computing"},{"key":"22_CR4","unstructured":"Roney-Dougal, C.M., Gent, I.P., Kelsey, T., Linton, S.A.: Tractable symmetry breaking using restricted search trees. In: Proc. ECAI 2004 (2004)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a08, 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"22_CR6","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.-C.: Refining the basic constraint propagation algorithm. In: Proc. IJCAI 2001 (2001)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Yap, R.H.C.: Making AC-3 an optimal algorithm. In: Proc. IJCAI 2001 (2001)","DOI":"10.1049\/cp:20010551"},{"key":"22_CR8","unstructured":"Gent, I.P., McDonald, I.: Symmetry and propagation: Refining an AC algorithm. In: Proc. SymCon 2003 (2003)"},{"key":"22_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-30210-0_17","volume-title":"Artificial Intelligence and Symbolic Computation","author":"T. Kelsey","year":"2004","unstructured":"Kelsey, T., Linton, S.A., Roney-Dougal, C.M.: New developments in symmetry breaking in search using computational group theory. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol.\u00a03249, pp. 199\u2013210. Springer, Heidelberg (2004)"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-free search. Journal of the ACM\u00a029(1), 24\u201332 (1982)","journal-title":"Journal of the ACM"},{"issue":"4","key":"22_CR11","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1145\/4221.4225","volume":"37","author":"E.C. Freuder","year":"1985","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-bounded search. Journal of the ACM\u00a037(4), 755\u2013761 (1985)","journal-title":"Journal of the ACM"},{"key":"22_CR12","series-title":"Cambridge tracts in mathematics","volume-title":"Permutation group algorithms","author":"A. Seress","year":"2002","unstructured":"Seress, A.: Permutation group algorithms. Cambridge tracts in mathematics, vol.\u00a0152. Cambridge University Press, Cambridge (2002)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-540-45193-8_40","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"J.-F. Puget","year":"2003","unstructured":"Puget, J.-F.: Symmetry breaking using stabilizers. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 585\u2013599. Springer, Heidelberg (2003)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2005.02.004","volume":"165","author":"C. Bessi\u00e8re","year":"2005","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.-C., Yap, R.H.C., Zhang, Y.: An optimal coarse-grained arc consistency algorithm. Artificial Intelligence\u00a0165, 165\u2013185 (2005)","journal-title":"Artificial Intelligence"},{"key":"22_CR15","unstructured":"Debruyne, R., Bessi\u00e8re, C.: Some practicable filtering techniques for the constraint satisfaction problem. In: Proc. IJCAI 1997, pp. 412\u2013417 (1997)"},{"key":"22_CR16","unstructured":"Bart\u00e1k, R., Erben, R.: A new algorithm for singleton arc consistency. In: Proc. FLAIRS 2004 (2004)"},{"key":"22_CR17","unstructured":"Bessi\u00e8re, C., Debruyne, R.: Optimal and suboptimal singleton arc consistency algorithms. In: Proc. IJCAI 2005 (2005)"},{"issue":"1","key":"22_CR18","first-page":"159","volume":"12","author":"M.G. Wallace","year":"1997","unstructured":"Wallace, M.G., Novello, S., Schimpf, J.: ECLiPSe: A platform for constraint logic programming. ICL Systems Journal\u00a012(1), 159\u2013200 (1997)","journal-title":"ICL Systems Journal"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-46135-3_28","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"I.P. Gent","year":"2002","unstructured":"Gent, I.P., Harvey, W., Kelsey, T.: Groups and constraints: Symmetry breaking during search. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, pp. 415\u2013430. Springer, Heidelberg (2002)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-45193-8_23","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"I.P. Gent","year":"2003","unstructured":"Gent, I.P., Harvey, W., Kelsey, T., Linton, S.A.: Generic SBDD using computational group theory. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 333\u2013347. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564751_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T00:43:58Z","timestamp":1736037838000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11564751_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}