Research Catalog

Title

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.

Publication

Berlin ; New York : Springer-Verlag, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Podelski, Andreas.

Description

ix, 316 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 910

Uniform Title

Lecture notes in computer science ; 910.

Subject

• Constraint programming (Computer science)

Contents

• Interval Constraint Logic Programming / Frederic Benhamou -- Solving Pseudo-Boolean Constraints / Alexander Bockmayr -- Enhancing the Constraint-Solving Power of clp(FD) by means of Path-Consistency Methods / Philippe Codognet and Guiseppe Nardiello -- Constraints in Term Algebras / Hubert Comon -- Constructive Negation by Pruning and Optimization Higher-Order Predicates for CLP and CC Languages / Francois Fages -- Constraint Handling Rules / Thom Fruhwirth -- Linear Constraint Solving in CLP-Languages / Jean-Louis J. Imbert -- On the Use of Constraints in Automated Deduction / Helene Kirchner -- Abstract Interpretation and Finite Domain Symbolic Constraints / Baudouin Le Charlier -- Concurrency and Concurrent Constraint Programming / Ugo Montanari and Francesca Rossi -- Toupie: A Constraint Language for Model Checking / Antoine Rauzy -- Imagining CLP [actual symbol not reproducible] / Olivier Ridoux -- An Architecture for Cooperating Constraint Solvers on Reals / Michel Rucher.
• The Definition of Kernel Oz / Gert Smolka -- Design, Implementation, and Evaluation of the Constraint Language cc(FD) / Pascal Van Hentenryck, Vijay Saraswat and Yves Deville.

ISBN

• 3540591559 (Berlin : acid-free paper)
• 0387591559 (New York : acid-free paper)

LCCN

95010074

OCLC

ocm32166707

Owning Institutions

Columbia University Libraries