{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:52Z","timestamp":1750307812675,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"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":[[2008,7,15]]},"DOI":"10.1145\/1389449.1389480","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"247-257","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic variable elimination during propagation solving"],"prefix":"10.1145","author":[{"given":"Christian","family":"Schulte","sequence":"first","affiliation":[{"name":"ICT, KTH - Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[{"name":"University of Melbourne, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_10"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11941439_9"},{"volume-title":"CSPLib: a problem library for constraints","year":"2006","key":"e_1_3_2_1_3_1","unstructured":"CSPLib. CSPLib: a problem library for constraints , 2006 . Available from http:\/\/www.csplib.org.]] CSPLib. CSPLib: a problem library for constraints, 2006. Available from http:\/\/www.csplib.org.]]"},{"key":"e_1_3_2_1_4_1","first-page":"177","volume-title":"4th International Conference","author":"Fordan Andreas","year":"1998","unstructured":"Andreas Fordan and Roland H. C. Yap . Early projection in CLP(R). In Michael J.Maher and Jean-Francois Puget, editors, Principles and Practice of Constraint Programming - CP98 , 4th International Conference , pages 177 -- 191 , 1998 .]] Andreas Fordan and Roland H. C. Yap. Early projection in CLP(R). In Michael J.Maher and Jean-Francois Puget, editors, Principles and Practice of Constraint Programming - CP98, 4th International Conference, pages 177--191, 1998.]]"},{"key":"e_1_3_2_1_5_1","volume-title":"Gecode: Generic constraint development environment","author":"Team Gecode","year":"2006","unstructured":"Gecode Team . Gecode: Generic constraint development environment , 2006 . Available from http:\/\/www.gecode.org.]] Gecode Team. Gecode: Generic constraint development environment, 2006. Available from http:\/\/www.gecode.org.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11889205_15"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/129393.129398"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","first-page":"409","volume-title":"Thirteenth International Conference on Principles and Practice of Constraint Programming","author":"Mikael","year":"2007","unstructured":"Mikael Z. Lagerkvist and Christian Schulte. Advisors for incremental propagation . In Christian Bessi\u00e8re, editor, Thirteenth International Conference on Principles and Practice of Constraint Programming , Lecture Notes in Computer Science , pages 409 -- 422 , Providence, RI , USA, September 2007 . Springer-Verlag .]] Mikael Z. Lagerkvist and Christian Schulte. Advisors for incremental propagation. In Christian Bessi\u00e8re, editor, Thirteenth International Conference on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pages 409--422, Providence, RI, USA, September 2007. Springer-Verlag.]]"},{"key":"e_1_3_2_1_9_1","first-page":"75","volume-title":"Logic Programming: Proceedings of the 1993 International Symposium","author":"Macdonald A.D.","year":"1993","unstructured":"A.D. Macdonald , P.J. Stuckey , and R.H.C. Yap . Redundancy of variables in CLP(R) . In Logic Programming: Proceedings of the 1993 International Symposium , pages 75 -- 93 , Vancouver, Canada , October 1993 .MIT Press.]] A.D.Macdonald, P.J. Stuckey, and R.H.C. Yap. Redundancy of variables in CLP(R). In Logic Programming: Proceedings of the 1993 International Symposium, pages 75--93, Vancouver, Canada, October 1993.MIT Press.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"e_1_3_2_1_11_1","first-page":"513","volume-title":"Proceedings of the International Symposium on Logic Programming","author":"Puget Jean-Fran\u00e7ois","year":"1995","unstructured":"Jean-Fran\u00e7ois Puget and Michel Leconte . Beyond the glass box: Constraints as objects. In John Lloyd, editor , Proceedings of the International Symposium on Logic Programming , pages 513 -- 527 , Portland, OR, USA , December 1995 . The MIT Press.]] Jean-Fran\u00e7ois Puget andMichel Leconte. Beyond the glass box: Constraints as objects. In John Lloyd, editor, Proceedings of the International Symposium on Logic Programming, pages 513--527, Portland, OR, USA, December 1995. The MIT Press.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1791548"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1452044.1452046"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_45"},{"key":"e_1_3_2_1_15_1","first-page":"663","volume-title":"10th International Conference","author":"Thiffault Christian","year":"2004","unstructured":"Christian Thiffault , Fahiem Bacchus , and Toby Walsh . Solving non-clausal formulas with DPLL search. In Mark Wallace, editor, Principles and Practice of Constraint Programming - CP 2004 , 10th International Conference , pages 663 -- 678 , 2004 .]] Christian Thiffault, Fahiem Bacchus, and Toby Walsh. Solving non-clausal formulas with DPLL search. In Mark Wallace, editor, Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, pages 663--678, 2004.]]"}],"event":{"name":"PPDP08: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Valencia Spain","acronym":"PPDP08"},"container-title":["Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389480","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389449.1389480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":15,"alternative-id":["10.1145\/1389449.1389480","10.1145\/1389449"],"URL":"https:\/\/doi.org\/10.1145\/1389449.1389480","relation":{},"subject":[],"published":{"date-parts":[[2008,7,15]]},"assertion":[{"value":"2008-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}