{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:25:44Z","timestamp":1725560744940},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_24","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T13:31:28Z","timestamp":1129642288000},"page":"301-313","source":"Crossref","is-referenced-by-count":1,"title":["Advances in Polytime Isomorph Elimination for Configuration"],"prefix":"10.1007","author":[{"given":"Laurent","family":"H\u00e9nocque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Kleiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Prcovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(82)90021-2","volume":"19","author":"J.P. McDermott","year":"1982","unstructured":"McDermott, J.P.: R1: A rule-based configurer of computer systems. Artificial Intelligence\u00a019, 39\u201388 (1982)","journal-title":"Artificial Intelligence"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1145\/62065.62067","volume":"32","author":"V. Barker","year":"1989","unstructured":"Barker, V., O\u2019Connor, D., Bachant, J., Soloway, E.: Expert systems for configuration at digital: Xcon and beyond. Communications of the ACM\u00a032, 298\u2013318 (1989)","journal-title":"Communications of the ACM"},{"key":"24_CR3","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proc. of AAAI 1990, Boston, MA, pp. 25\u201332 (1990)"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","volume":"135","author":"J. Amilhastre","year":"2002","unstructured":"Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic csps\u2013application to configuration. Artificial Intelligence\u00a0135, 199\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"24_CR5","unstructured":"Sabin, D., Freuder, E.C.: Composite constraint satisfaction. In: Artificial Intelligence and Manufacturing Research Planning Workshop, pp. 153\u2013161 (1996)"},{"key":"24_CR6","unstructured":"Soininen, T., Niemela, I., Tiihonen, J., Sulonen, R.: Representing configuration knowledge with weight constraint rules. In: Proc. of the AAAI Spring Symp. on Answer Set Programming: Towards Efficient and Scalable Knowledge, pp. 195\u2013201 (2001)"},{"issue":"2","key":"24_CR7","first-page":"111","volume":"10","author":"M. Stumptner","year":"1997","unstructured":"Stumptner, M.: An overview of knowledge-based configuration. AI Communications\u00a010(2), 111\u2013125 (1997)","journal-title":"AI Communications"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Mailharro, D.: A classification and constraint-based framework for configuration. AI in Engineering, Design and Manufacturing (12), 383\u2013397 (1998)","DOI":"10.1017\/S0890060498124101"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1007\/978-3-540-45193-8_66","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"S. Grandcolas","year":"2003","unstructured":"Grandcolas, S., Henocque, L., Prcovic, N.: A canonicity test for configuration. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 853\u2013857. Springer, Heidelberg (2003)"},{"key":"24_CR10","unstructured":"Henocque, L., Prcovic, N.: Practically handling configuration automorphisms. In: Proceedings of the 16th IEEE International Conference on Tools for Artificial Intelligence, Boca Raton, Florida (2004)"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/0022-0000(82)90009-5","volume":"25","author":"E.M. Luks","year":"1982","unstructured":"Luks, E.M.: Isomorphism of graphs of bounded valence can be tested in polynomial time. J. Comput. System Sci.\u00a025, 42\u201349 (1982)","journal-title":"J. Comput. System Sci."},{"key":"24_CR12","first-page":"45","volume":"30","author":"B.D. McKay","year":"1981","unstructured":"McKay, B.D.: Practical graph isomorphism. Congressus Numerantium\u00a030, 45\u201387 (1981)","journal-title":"Congressus Numerantium"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0167-5060(08)70325-X","volume":"2","author":"R.C. Read","year":"1978","unstructured":"Read, R.C.: Every one a winner or how to avoid isomorphism search when cataloguing combinatorial configurations. Annals of Discrete Mathematics\u00a02, 107\u2013120 (1978)","journal-title":"Annals of Discrete Mathematics"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1002\/(SICI)1097-0118(199610)23:2<139::AID-JGT5>3.0.CO;2-U","volume":"23","author":"G. Brinkmann","year":"1996","unstructured":"Brinkmann, G.: Fast generation of cubic graphs. J. Graph Theory\u00a023, 139\u2013149 (1996)","journal-title":"J. Graph Theory"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1006\/jagm.1997.0898","volume":"26","author":"B.D. McKay","year":"1998","unstructured":"McKay, B.D.: Isomorph-free exhaustive generation. J. Algorithms\u00a026, 306\u2013324 (1998)","journal-title":"J. Algorithms"},{"key":"24_CR16","unstructured":"Van Hentenrick, P., Flener, J.P., Agren, M.: Tractable symmetry breaking for csps with interchangeable values. In: Proceedings of IJCAI 2003, pp. 277\u2013282 (2003)"},{"issue":"1-2","key":"24_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0004-3702(01)00104-7","volume":"29","author":"P. Meseguer","year":"2001","unstructured":"Meseguer, P., Torras, C.: Exploiting symmetries within constraint satisfaction search. Artificial Intelligence\u00a029(1-2), 133\u2013163 (2001)","journal-title":"Artificial Intelligence"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Backofen, R., Will, S.: Excluding symmetries in constraint-based search. In: Principles and Practice of Constraint Programming, pp. 73\u201387 (1999)","DOI":"10.1007\/978-3-540-48085-3_6"},{"key":"24_CR19","unstructured":"Gent, I., Smith, B.: Symmetry breaking during search in constraint programming. In: Proceedings of ECAI (2000)"},{"key":"24_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/3-540-46135-3_30","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"J.F. Puget","year":"2002","unstructured":"Puget, J.F.: Symmetry breaking revisited. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol.\u00a02470, p. 446. Springer, Heidelberg (2002)"},{"key":"24_CR21","unstructured":"Grandcolas, S., Henocque, L., Prcovic, N.: Pruning isomorphic structural sub-problems in configuration. Technical report, LSIS (2003), Available from the CoRR archive at http:\/\/arXiv.org\/abs\/cs\/0306135"}],"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_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:13:05Z","timestamp":1586513585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11564751_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}