Programming Constraint Services High-Level Programming of Standard and New Constraint Services /

• Main Author: Schulte, Christian (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Edition: 1st ed. 2002.
• Series: Lecture Notes in Artificial Intelligence ; 2302
• Subjects: Computer engineering.; Artificial intelligence.; Programming languages (Electronic computers).; Computer programming.; Algorithms.; Computer science-Mathematics.; Computer Engineering.; Artificial Intelligence.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.

Constraint Programming is an approach for modeling and solving combi- torial problems that has proven successful in many applications. It builds on techniques developed in Arti?cial Intelligence, Logic Programming, and - erations Research. Key techniques are constraint propagation and heuristic sear...

Table of Contents:

• Constraint Programming
• Introducing Oz Light
• Spaces for Search
• Search Engines
• Best-Solution Search
• Recomputation
• Oz Explorer:Visual Search
• Distributed Search
• Spaces for Combinators
• Constraint Combinators
• Implementing Oz Light
• Implementing Spaces
• Other Approaches to Search
• Conclusion.