Research Catalog

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers

Title: Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.
Publication: Berlin ; New York : Springer-Verlag, ©1995.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Use in library	QA76.612 .C67 1995	Off-site

Details

Additional Authors

Description

ix, 316 pages : illustrations; 24 cm.

Summary

"This book contains thoroughly revised versions of the papers presented at the 1994 Châtillon Spring School held in May 1994. This spring school was the 22nd event in a series of advanced seminars presenting important new areas of research to the theoretical computer science community. The interdisciplinary area of constraint (logic) programming and constraint-based systems has recently developed a discernible identity, which is promising both in terms of simple and general foundations and in terms of significant practical applications. The 15 papers presented in this volume make the new area accessible to all interested computer scientists and report the state of the art in this exciting new field, particularly in the subfield of constraint logic programming."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 910

Uniform Title

Lecture notes in computer science ; 910.

Subject

Genre/Form

Conference papers and proceedings
Kongress.

Note

Papers presented at the 22nd Spring School in Theoretical Computer Science in Châtillon-sur-Seine, France, May 16-20, 1994.

Bibliography (note)

Includes bibliographical references.

Contents

Interval constraint logic programming / Frédéric Benhamou -- Solving pseudo-boolean constraints / Alexander Bockmayr -- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods / Philippe Codognet and Giuseppe Nardiello -- Constraints in term algebras / Hubert Comon -- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages / François Fages -- Constraint handling rules / Thom Frühwirth -- Linear constraint solving in CLP-languages / Jean-Louis J. Imbert -- On the use of constraints in automated deduction / Hélène 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 ([delta, is identical with][alpha][beta]) / Olivier Ridoux -- An architecture for cooperating constraint solvers on reals / Michel Rueher -- The definition of Kernel Oz / Gert Smolka -- Design, implementation, and evaluation of the constraint language cc(FD) / Pascal Van Hentenryck, Vijay Sawaswat and Yves Deville.

ISBN

3540591559
9783540591559
0387591559
9780387591551
9783540492009 (canceled/invalid)
3540492003 (canceled/invalid)

LCCN

95010074

OCLC

ocm32166707
32166707
SCSB-2049876

Owning Institutions

Princeton University Library