Components for state restoration in tree search

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2239, Issue , 2001, Pages 240-255

  Choi, Chiu Wo ^a   Henz, Martin ^a   Ng, Ka Boon ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b Honeywell Building   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINT THEORY;

APPLICATION SPECIFIC; CONSTRAINT PROGRAMMING SYSTEMS; CONSTRAINT PROPAGATION; RECOMPUTATION; SEARCH TREES; SOFTWARE COMPONENT; SPACE CONSUMPTION; STATE RESTORATION;

RESTORATION;

EID: 38149046976     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45578-7_17     Document Type: Conference Paper

References (16)

1. Abderrahamane Aggoun and Nicolas Beldiceanu. Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. In Actes du Séminaire 1990–Programmation en Logique, pages 487–509, Tregastel, France, May 1990.CNET.
2. Tee Yong Chew, Martin Henz, and Ka Boon Ng. A toolkit for constraintbased inference engines. In Enrico Pontelli and Vítor Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Lecture Notes in Computer Science 1753, pages 185–199, Boston, MA, 2000.Springer-V erlag, Berlin.
3. Yves Caseau, François-Xavier Josset, and François 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–259, Las Cruces, New Mexico, USA, 1999.The MIT Press, Cambridge, MA.
4. 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.
5. Fgaro library for constraint programming.Do cumentation and system available from http://figaro.comp.nus.edu.sg, Department of Computer Science, National University of Singapore, 2001.
6. Martin Henz, Tobias Müller, 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, 1999.held in conjunction with ICLP’99.
7. ILOG Inc., Mountain View, CA 94043, USA, http://www.ilog.com. ILOG Solver 5.0, Reference Manual, 2000.
8. Intelligent Systems Laboratory. SICStus Prolog User’s Manual.SICS Research Report, Swedish Institute of Computer Science, URL http://www.sics.se/isl/sicstus.html, 2000.
9. Marshall Kirk McKusick, Keith Bostic, Michael J.Karels, and John S. Quarterman. The Design and Implementation of the 4.4BSD Operating System. Addison-W esley, Reading, MA, 1996.
10. Ka Boon Kevin Ng. A Generic Software FrameworkF or Finite Domain Constraint Programming. Master’s thesis, School of Computing, National University of Singapore, 2001.
11. R. H. B. Netzer and J. Xu. Necessary and sufficient conditions for consistent global snapshots. IEEE Transactions on Parallel and Distributed Systems, (6):165–169, 1995.
12. Enrico Pontelli, Gopal Gupta, and Manuel Hermenegildo. &ACE: A high performance parallel prolog system. In 9th International Parallel Processing Symposium, pages 564–571.IEEE Press, 1995.
13. Christian Schulte. Oz Explorer: A visual constraint programming tool. In Lee Naish, editor, Proceedings of the International Conference on Logic Programming, pages 286–300, Leuven, Belgium, July 1997.The MIT Press, Cambridge, MA.
14. Christian Schulte. Programming constraint inference engines. In Gert Smolka, editor, Principles and Practice of Constraint Programming— CP97, Proceedings of the Third International Conference, Lecture Notes in Computer Science 1330, pages 519–533, Schloss Hagenberg, Linz, Austria, October/November 1997.Springer-V erlag, Berlin.
15. Christian Schulte. Comparing trailing and copying for constraint programming. In Danny De Schreye, editor, Proceedings of the International Conference on Logic Programming, pages 275–289, Las Cruces, New Mexico, August 1999.The MIT Press, Cambridge, MA.
16. Christian Schulte. Programming Constraint Services. Do ctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakult ät I, Fachrichtung Informatik, Saarbrücken, Germany, 2000.T o appear in Lecture Notes in Artificial Intelligence, Springer-Verlag.