{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:25Z","timestamp":1750307545989,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,4,1]],"date-time":"2007-04-01T00:00:00Z","timestamp":1175385600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1145\/1622123.1622135","type":"proceedings-article","created":{"date-parts":[[2009,10,8]],"date-time":"2009-10-08T17:31:08Z","timestamp":1255023068000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Constraint solving in common Lisp"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Frank","sequence":"first","affiliation":[{"name":"Technical University Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806313"},{"key":"e_1_3_2_1_2_1","volume-title":"Constraint Programming","author":"Apt Krzysztof R.","year":"2003","unstructured":"Krzysztof R. Apt . Constraint Programming . Cambridge University Press , 2003 . Krzysztof R. Apt. Constraint Programming. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"Colloquium- on Implementation of Constraint and Logic Programming Systems 2001 (CICLOPS'01)","author":"Barnier Nicolas","year":"2001","unstructured":"Nicolas Barnier and Pascal Brisset . Facile: a Functional Constraint Library . In Colloquium- on Implementation of Constraint and Logic Programming Systems 2001 (CICLOPS'01) , 2001 . Nicolas Barnier and Pascal Brisset. Facile: a Functional Constraint Library. In Colloquium- on Implementation of Constraint and Logic Programming Systems 2001 (CICLOPS'01), 2001."},{"key":"e_1_3_2_1_4_1","volume-title":"Ka Boon Ng. Components for State Restoration in Tree Search. Proceedings of CP","author":"Choi Chio Wo","year":"2001","unstructured":"Chio Wo Choi , Martin Henz , and Ka Boon Ng. Components for State Restoration in Tree Search. Proceedings of CP , 2001 . Chio Wo Choi, Martin Henz, and Ka Boon Ng. Components for State Restoration in Tree Search. Proceedings of CP, 2001."},{"key":"e_1_3_2_1_5_1","first-page":"159","volume-title":"Proceedings of the 25th International Lisp Conference (ILC 2005","author":"Frank Stephan","year":"2005","unstructured":"Stephan Frank and Petra Hofstedt . CLFD : A Finite Domain Constraint Solver in Common Lisp. In Carl Shapiro and JonL White, editors , Proceedings of the 25th International Lisp Conference (ILC 2005 ), pages 159 -- 168 , Stanford University, Palo Alto , July 2005 . Association of Lisp Users (ALU), Franz Inc. Stephan Frank and Petra Hofstedt. CLFD: A Finite Domain Constraint Solver in Common Lisp. In Carl Shapiro and JonL White, editors, Proceedings of the 25th International Lisp Conference (ILC 2005), pages 159--168, Stanford University, Palo Alto, July 2005. Association of Lisp Users (ALU), Franz Inc."},{"key":"e_1_3_2_1_6_1","volume-title":"Figaro: Yet Another Constraint Programming Library. In Workshop on Parallelism and Implementation Technology for Constraint Logic Programming","author":"Henz M.","year":"1999","unstructured":"M. Henz , T. M\u00fcller , and K. B. Ng . Figaro: Yet Another Constraint Programming Library. In Workshop on Parallelism and Implementation Technology for Constraint Logic Programming , 1999 . M. Henz, T. M\u00fcller, and K. B. Ng. Figaro: Yet Another Constraint Programming Library. In Workshop on Parallelism and Implementation Technology for Constraint Logic Programming, 1999."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. 2nd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL'03","author":"Hoche M.","year":"2003","unstructured":"M. Hoche , H. M\u00fcller , H. Schlenker , and A. Wolf . firstcs - a pure java constraint programming engine . In Proc. 2nd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL'03 , January 2003 . M. Hoche, H. M\u00fcller, H. Schlenker, and A. Wolf. firstcs - a pure java constraint programming engine. In Proc. 2nd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL'03, January 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68194-6"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of MultiCPL'02 -- Workshop on Multiparadigm Constraint Programming Languages","author":"H\u00f6lzl M.","year":"2002","unstructured":"M. H\u00f6lzl . Constraint-Functional Programming based on Generic Functions. In M. Hanus, P. Hofstedt, S. Abdennadher, Th. Fr\u00fchwirth, and A. Wolf, editors , Proceedings of MultiCPL'02 -- Workshop on Multiparadigm Constraint Programming Languages . Cornell University, Ithaca, NY, USA , 2002 . M. H\u00f6lzl. Constraint-Functional Programming based on Generic Functions. In M. Hanus, P. Hofstedt, S. Abdennadher, Th. Fr\u00fchwirth, and A. Wolf, editors, Proceedings of MultiCPL'02 -- Workshop on Multiparadigm Constraint Programming Languages. Cornell University, Ithaca, NY, USA, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the International Lisp Conference (ILC 2002)","author":"H\u00f6lzl Matthias","year":"2002","unstructured":"Matthias H\u00f6lzl . ConS\/ Lisp - A Metaobject-Protocol based Non-deterministic Lisp . In Raymond de Lacaze, editor , Proceedings of the International Lisp Conference (ILC 2002) , 2002 . Matthias H\u00f6lzl. ConS\/Lisp - A Metaobject-Protocol based Non-deterministic Lisp. In Raymond de Lacaze, editor, Proceedings of the International Lisp Conference (ILC 2002), 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/1910129"},{"key":"e_1_3_2_1_12_1","volume-title":"Beck. A Fast and Simple Algorithm for Bounds Consistency of the Alldifferent Constraint. In Proceedings of the 18th International Joint Conference on Artificial Intelligence","author":"Lopez-Ortiz Alejandro","year":"2003","unstructured":"Alejandro Lopez-Ortiz , Claude-Guy Quimper , John Tromp , and Peter van Beck. A Fast and Simple Algorithm for Bounds Consistency of the Alldifferent Constraint. In Proceedings of the 18th International Joint Conference on Artificial Intelligence , August 2003 . Alejandro Lopez-Ortiz, Claude-Guy Quimper, John Tromp, and Peter van Beck. A Fast and Simple Algorithm for Bounds Consistency of the Alldifferent Constraint. In Proceedings of the 18th International Joint Conference on Artificial Intelligence, August 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"Marriott Kim","year":"1998","unstructured":"Kim Marriott and Peter J. Stuckey . Programming with Constraints: An Introduction . The MIT Press , 1998 . Kim Marriott and Peter J. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998."},{"key":"e_1_3_2_1_15_1","volume-title":"Alexander Golynski. Improved Algorithms for the Global Cardinality Constraint. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming","author":"Quimper Claude-Guy","year":"2004","unstructured":"Claude-Guy Quimper , Alejandro Lopez-Ortiz , Peter van Beek , and Alexander Golynski. Improved Algorithms for the Global Cardinality Constraint. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming , September 2004 . Claude-Guy Quimper, Alejandro Lopez-Ortiz, Peter van Beek, and Alexander Golynski. Improved Algorithms for the Global Cardinality Constraint. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming, September 2004."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of AAAI-94","author":"R\u00e9gin Jean-Charles","year":"1994","unstructured":"Jean-Charles R\u00e9gin . A filtering algorithm for constraints of difference in CSPs . In Proceedings of AAAI-94 , 1994 . Jean-Charles R\u00e9gin. A filtering algorithm for constraints of difference in CSPs. In Proceedings of AAAI-94, 1994."},{"key":"e_1_3_2_1_17_1","first-page":"89","volume-title":"Constraints and Integer Programming Combined","author":"R\u00e9gin Jean-Charles","year":"2003","unstructured":"Jean-Charles R\u00e9gin . Constraints and Integer Programming Combined , chapter Global Constraints and Filtering Algorithms, pages 89 -- 129 . Kluwer Academic Publishers , 2003 . Jean-Charles R\u00e9gin. Constraints and Integer Programming Combined, chapter Global Constraints and Filtering Algorithms, pages 89--129. Kluwer Academic Publishers, 2003."},{"key":"e_1_3_2_1_18_1","first-page":"275","volume-title":"Proceedings of the Sixteenth International Conference on Logic Programming","author":"Schulte Christian","year":"1999","unstructured":"Christian Schulte . Comparing Trailing and Copying for Constraint Programming. In Danny De Schreye, editor , Proceedings of the Sixteenth International Conference on Logic Programming , pages 275 -- 289 , Las Cruces, NM, USA , November 1999 . The MIT Press. Christian Schulte. Comparing Trailing and Copying for Constraint Programming. In Danny De Schreye, editor, Proceedings of the Sixteenth International Conference on Logic Programming, pages 275--289, Las Cruces, NM, USA, November 1999. The MIT Press."},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1007\/978-3-540-30201-8_45","volume-title":"Tenth International Conference on Principles and Practice of Constraint Programming","author":"Schulte Christian","year":"2004","unstructured":"Christian Schulte and Peter J. Stuckey . Speeding Up Constraint Propagation . In Mark Wallace, editor, Tenth International Conference on Principles and Practice of Constraint Programming , volume 3258 of Lecture Notes in Computer Science , pages 619 -- 633 , Toronto, Canada, September 2004 . Springer-Verlag . Christian Schulte and Peter J. Stuckey. Speeding Up Constraint Propagation. In Mark Wallace, editor, Tenth International Conference on Principles and Practice of Constraint Programming, volume 3258 of Lecture Notes in Computer Science, pages 619--633, Toronto, Canada, September 2004. Springer-Verlag."},{"key":"e_1_3_2_1_21_1","volume-title":"Principles and Practice of Constraint Programming","author":"Smolka Gert","year":"1995","unstructured":"Gert Smolka , Martin Henz , and J\u00f6rg W\u00fcrtz . Object-Oriented Concurrent Constraint Programming in Oz . In Vijay Saraswat and Pascal van Hentenryck, editors, Principles and Practice of Constraint Programming , chapter 2. The MIT Press , 1995 . Gert Smolka, Martin Henz, and J\u00f6rg W\u00fcrtz. Object-Oriented Concurrent Constraint Programming in Oz. In Vijay Saraswat and Pascal van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 2. The MIT Press, 1995."},{"key":"e_1_3_2_1_22_1","volume-title":"Constraint-Based Local Search","author":"van Hentenryck Pascal","year":"2005","unstructured":"Pascal van Hentenryck and Laurent Michel . Constraint-Based Local Search . The MIT Press , August 2005 . Pascal van Hentenryck and Laurent Michel. Constraint-Based Local Search. The MIT Press, August 2005."},{"key":"e_1_3_2_1_23_1","first-page":"607","volume-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (ijcai-95)","volume":"1","author":"Ginsberg Matthew L.","year":"1995","unstructured":"Matthew L. Ginsberg William D. Harvey . Limited Discrepancy Search. In Chris S. Mellish, editor , Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (ijcai-95) , volume 1 , pages 607 -- 615 , Montr\u00e9al, Qu\u00e9bec, Canada , August 1995 . Morgan Kaufmann. Matthew L. Ginsberg William D. Harvey. Limited Discrepancy Search. In Chris S. Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (ijcai-95), volume 1, pages 607--615, Montr\u00e9al, Qu\u00e9bec, Canada, August 1995. Morgan Kaufmann."}],"event":{"name":"ILC07: 2007 International Lisp Conference","sponsor":["Association of Lisp Users","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Cambridge United Kingdom","acronym":"ILC07"},"container-title":["Proceedings of the 2007 International Lisp Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1622123.1622135","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1622123.1622135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:31Z","timestamp":1750249411000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1622123.1622135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":22,"alternative-id":["10.1145\/1622123.1622135","10.1145\/1622123"],"URL":"https:\/\/doi.org\/10.1145\/1622123.1622135","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]},"assertion":[{"value":"2007-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}