High-level nondeterministic abstractions in C++

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

Volumn 4204 LNCS, Issue , 2006, Pages 359-374

  Michel, Laurent ^a   See, Andrew ^a   Van Hentenryck, Pascal ^b  

^a UNIVERSITY OF CONNECTICUT   (United States)

^b BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CODES (SYMBOLS); COMPUTER SYSTEMS PROGRAMMING; CONSTRAINT THEORY; HIGH LEVEL LANGUAGES; ITERATIVE METHODS; MACROS; SEARCH ENGINES;

CONSTRAINT LANGUAGES; HIGH-LEVEL ABSTRACTIONS; NATURAL ITERATIVE STYLE;

C (PROGRAMMING LANGUAGE);

EID: 33750330610     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_27     Document Type: Conference Paper

References (15)

1. A. Colmerauer. Opening the Prolog-III Universe. BYTE Magazine, 12(9), 1987.
2. de Givry, S. and Jeannin, L. Tools: A library for partial and hybrid search methods. In CP-AI-OR'03.
3. N.C. Heintze, S. Michaylov, and P.J. Stuckey. CLP(R) and some Electrical Engineering Problems. In ICLP-87.
4. http://www.gecode.org/. Generic Constraint Development Environment, 2005.
5. Hog Solver 4.4. Reference Manual. Hog SA, Gentilly, France, 1998.
6. F. Laburthe and Y. Caseau. SALSA: A Language for Search Algorithms. In CP'98.
7. J-L. Lauriere. A Language and a Program for Stating and Solving Combinatorial Problems. Artificial Intelligence, 10(1):29-127, 1978.
8. L. Michel and P. Van Hentenryck. Modeler++: A Modeling Layer for Constraint Programming Libraries. In CP-AI-OR'2001.
9. L. Perron. Search Procedures and Parallelism in Constraint Programming. In CP'99.
10. J-F. Puget. A C++ Implementation of CLP. In Proceedings of SPICIS'94.
11. J.-F.. Puget. Personal Communication, March 2006.
12. C. Schulte. Programming Constraint Inference Engines. In CP'97.
13. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, MA, 1989.
14. P. Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, Cambridge, Mass., 1999.
15. P. Van Hentenryck and L. Michel. Nondeterministic Control for Hybrid Search. In CP-AI-OR'05.