Title: Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers
Abstract: Interval constraint logic programming.- Solving pseudo-Boolean constraints.- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods.- Constraints in term algebras an overview of constraint solving techniques.- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages.- Constraint handling rules.- Linear constraint solving in CLP-Languages.- On the use of constraints in automated deduction.- Abstract interpretation and finite domain symbolic constraints.- Concurrency and Concurrent Constraint Programming.- Toupie: A constraint language for model checking.- Imagining CLP(?,???).- An architecture for cooperating constraint solvers on reals.- The definition of Kernel Oz.- Design, implementation, and evaluation of the constraint language cc(FD).
Publication Year: 1995
Publication Date: 1995-03-20
Language: en
Type: book
Access and Citation
Cited By Count: 6
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot