{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:54:00Z","timestamp":1752461640680,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45578-7_17","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"240-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Components for State Restoration in Tree Search"],"prefix":"10.1007","author":[{"given":"Chiu Wo","family":"Choi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Henz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ka Boon","family":"Ng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"17_CR1","unstructured":"Abderrahamane Aggoun and Nicolas Beldiceanu.Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems.In Actes du S\u00e9minaire 1990-Programmation en Logique, pages 487\u2013509, Tregastel, France, May 1990.CNET."},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","first-page":"185","volume-title":"A toolkit for constraintbased inference engines","year":"2004","unstructured":"Tee Yong Chew, Martin Henz, and Ka Boon Ng.A toolkit for constraintbased inference engines.In Enrico Pontelli and V\u00edtor Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Lecture Notes in Computer Science 1753, pages 185\u2013199, Boston, MA, 2000.Springer-Verlag, Berlin."},{"key":"17_CR3","unstructured":"Yves Caseau, Fran\u00c7ois-Xavier Josset, and Fran\u00c7ois Laburthe.CLAIRE: Combining sets, search and rules to better express algorithms.In Danny De Schreye, editor, Proceedings of the International Conference on Logic Programming, pages 245\u2013259, Las Cruces, New Mexico, USA, 1999.The MIT Press, Cambridge, MA."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Daniel Diaz and Philippe Codognet.The GNU prolog systems and its implementation.In ACM Symposium on Applied Computing, Como, Italy, 2000.Do cumentation and system available at http:\/\/www.gnu.org\/software\/prolog .","DOI":"10.1145\/338407.338553"},{"key":"17_CR5","unstructured":"Martin Henz, Tobias M\u00fcller, and Ka Boon Ng.Figaro: Yet another constraint programming library.In Proceedings of the Workshop on Parallelism and Implementation Technology for Constraint Logic Programming, Las Cruces, New Mexico, USA, 1999fiheld in conjunction with ICLP\u201999."},{"key":"17_CR6","unstructured":"ILOG Inc., Mountain View, CA 94043, USA, http:\/\/www.ilog.com . ILOG Solver 5.0, Reference Manual, 2000."},{"key":"17_CR7","unstructured":"Intelligent Systems Laboratory. SICStus Prolog User\u2019s Manual.SICS Research Report, Swedish Institute of Computer Science, http:\/\/www.sics.se\/isl\/sicstus.html , 2000."},{"key":"17_CR8","volume-title":"The Design and Implementation of the 4.4BSD Operating System","author":"M. Kirk McKusick","year":"1996","unstructured":"Marshall Kirk McKusick, Keith Bostic, Michael J. Karels, and John S. Quarterman. The Design and Implementation of the 4.4BSD Operating System.Addison-Wesley, Reading, MA, 1996."},{"key":"17_CR9","unstructured":"Ka Boon Kevin Ng. A Generic Software FrameworkF or Finite Domain Constraint Programming.Master\u2019s thesis, School of Computing, National University of Singapore, 2001."},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/71.342127","volume":"6","author":"R.H.B. Netzer","year":"1995","unstructured":"R.H.B. Netzer and J. Xu. Necessary and suficient conditions for consistent global snapshots. IEEE Transactions on Parallel and Distributed Systems, (6):165\u2013169, 1995.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Enrico Pontelli, Gopal Gupta, and Manuel Hermenegildo.&ACE: A high performance parallel prolog system.In 9th International Parallel Processing Symposium, pages 564\u2013571.IEEE Press, 1995.","DOI":"10.1109\/IPPS.1995.395891"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Christian Schulte.Oz Explorer: A visual constraint programming tool. In Lee Naish, editor, Proceedings of the International Conference on Logic Programming, pages 286\u2013300, Leuven, Belgium, July 1997.The MIT Press, Cambridge, MA.","DOI":"10.7551\/mitpress\/4299.003.0026"},{"key":"17_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/BFb0017464","volume-title":"Principles and Practice of Constraint Programming\u2014 CP97","author":"G. Smolka","year":"1997","unstructured":"Christian Schulte.Programming constraint inference engines.In Gert Smolka, editor, Principles and Practice of Constraint Programming\u2014 CP97, Proceedings of the Third International Conference, Lecture Notes in Computer Science 1330, pages 519\u2013533, Schloss Hagenberg, Linz, Austria, October\/November 1997.Springer-Verlag, Berlin."},{"key":"17_CR14","unstructured":"Christian Schulte.Comparing trailing and copying for constraint programming. In Danny De Schreye, editor, Proceedings of the International Conference on Logic Programming, pages 275\u2013289, Las Cruces, New Mexico, August 1999.The MIT Press, Cambridge, MA."},{"key":"17_CR15","unstructured":"Christian Schulte. Programming Constraint Services.Do ctoral dissertation, Universit\u00e4t des Saarlandes, Naturwissenschaftlich-Technische Fakult \u00e4t I, Fachrichtung Informatik, Saarbr\u00fccken, Germany, 2000.T o appear in Lecture Notes in Artificial Intelligence, Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:36:02Z","timestamp":1737052562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}