{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:33Z","timestamp":1725564873597},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202028"},{"type":"electronic","value":"9783540451938"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45193-8_66","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T23:35:03Z","timestamp":1283988903000},"page":"853-857","source":"Crossref","is-referenced-by-count":2,"title":["A Canonicity Test for Configuration"],"prefix":"10.1007","author":[{"given":"Stephane","family":"Grandcolas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Henocque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Prcovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"66_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/3-540-45744-5_35","volume-title":"Automated Reasoning","author":"G. Audemard","year":"2001","unstructured":"Audemard, G., Henocque, L.: The extended least number heuristic. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 427\u2013442. Springer, Heidelberg (2001)"},{"key":"66_CR2","unstructured":"Grandcolas, S., Henocque, L., Prcovic, N.: Pruning isomorphic structural sub-problems in configuration. Technical report, LSIS (UMR CNRS 6168), Marseille, France (June 2003), Available from the CoRR archive, at \n                    \n                      http:\/\/arXiv.org\/abs\/cs\/0306135"},{"key":"66_CR3","first-page":"383","volume":"12","author":"D. Mailharro","year":"1998","unstructured":"Mailharro, D.: A classification and constraint-based framework for configuration. AI in Engineering, Design and Manufacturing\u00a0(12), 383\u2013397 (1998)","journal-title":"AI in Engineering, Design and Manufacturing"},{"key":"66_CR4","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":"66_CR5","unstructured":"Tiihonen, J., Soininen, T., Niemela, I., Sulonen, R.: Empirical testing of a weight constraint rule based configurator. In: Proceedings of the Configuration Workshop, 15th European Conference on Artificial Intelligence, Lyon, France, pp. 17\u201322 (2002)"},{"key":"66_CR6","unstructured":"Weigel, R., Faltings, B., Torrens, M.: Interchangeability for case adaptation in configuration problems. In: Workshop on Case-Based Reasoning Integrations (AAAI 1998), volume Technical Report WS-98-15, pp. 166\u2013171, Madison, Wisconsin, USA. AAAI Press (July 1998)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45193-8_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T06:04:04Z","timestamp":1553061844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45193-8_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202028","9783540451938"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45193-8_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}