{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:56Z","timestamp":1725488936227},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439318"},{"type":"electronic","value":"9783540456209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45620-1_16","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T07:18:26Z","timestamp":1186903106000},"page":"181-194","source":"Crossref","is-referenced-by-count":3,"title":["A Note on Symmetry Heuristics in SEM"],"prefix":"10.1007","author":[{"given":"Thierry Boy","family":"de la Tour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Martin Aigner. Combinatorial Theory. Classics in Mathemathics. Springer-Verlag, 1997.","DOI":"10.1007\/978-3-642-59101-3"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Gilles Audemard and Laurent Henocque. The extended least number heuristic. In Rajeev Gor\u00e9, Alexander Leitsch, and Tobias Nipkow, editors, First IJCAR, LNAI 2083, pages 427\u2013442, Siena, Italy, June 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45744-5_35"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Thierry Boy de la Tour. On the complexity of finite sorted algebras. In Ricardo Caferra and Gernot Salzer, editors, Automated Deduction in Classical and Non-Classical Logics, Lecture Notes in Artificial Intelligence 1761, pages 95\u2013108. Springer Verlag, 2000.","DOI":"10.1007\/3-540-46508-1_6"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Thierry Boy de la Tour. Some techniques of isomorph-free search. In Artificial Intelligence and Symbolic Computation, International Conference AISC\u20192000, pages 240\u2013252. Springer Verlag, 2000. Lecture Notes in Artificial Intelligence 1930.","DOI":"10.1007\/3-540-44990-6_20"},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Group-theoretic algorithms and graph isomorphism","author":"C. Hoffmann","year":"1981","unstructured":"C. Hoffmann. Group-theoretic algorithms and graph isomorphism Lecture Notes in Computer Science 136. Springer Verlag, 1981."},{"issue":"4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/8.4.511","volume":"8","author":"N. Peltier","year":"1998","unstructured":"Nicolas Peltier. A new method for automated finite model building exploiting failures and symmetries. Journal of Logic and Computation, 8(4):511\u2013543, 1998.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"16_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00244457","volume":"17","author":"Jian Zhang","year":"1996","unstructured":"Jian Zhang. Constructing finite algebras with FALCON. Journal of Automated Reasoning, 17(1):1\u201322, August 1996.","journal-title":"Journal of Automated Reasoning"},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Principles and practice of constraint programming-CP\u201995","author":"J. Zhang","year":"1995","unstructured":"Jian Zhang and Hantao Zhang. Constraint propagation in model generation. In Ugo Montanari and Francesca Rossi, editors, Principles and practice of constraint programming-CP\u201995, LNCS 976, Cassis, France, sep 1995. Springer-Verlag."},{"key":"16_CR9","unstructured":"Jian Zhang and Hantao Zhang. SEM: a system for enumerating models. In Chris S. Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 298\u2013303. Morgan Kaufmann, aug 1995."}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-18"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45620-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:55:55Z","timestamp":1556754955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45620-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439318","9783540456209"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45620-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}