Research Catalog
New trends in constraints : joint ERCIM Compulog-Net workshop, Paphos, Cyprus, October 1999 : selected papers
- Title
- New trends in constraints : joint ERCIM Compulog-Net workshop, Paphos, Cyprus, October 1999 : selected papers / Krzysztof R. Apt [and others] (eds.)
- Publication
- New York : Springer, 2000.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.612 .N49 2000 | Off-site |
Holdings
Details
- Additional Authors
- Description
- x, 338 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1865. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 1865.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Constraint programming (Computer science) > Congresses
- Contents
- Interval Constraints: Results and Perspectives / Frederic Benhamou, Laurent Granvilliers and Frederic Goualard -- A Constraint-Based Language for Virtual Agents / Philippe Codognet -- Constraint (Logic) Programming: A Survey on Research and Applications / Francesca Rossi -- OPL Script: Composing and Controlling Models / Pascal Van Hentenryck and L. Michel -- Some Remarks on Boolean Constraint Propagation / Krzystof R. Apt -- Abstrcting Soft Constraints / S. Bistareli, Philippe Codognet and Y. Georget / [et al.] -- Decomposable Constraints / Ian Gent, Kostas Stergiou and Toby Walsh -- Generating Propagation Rules for Finite Domains: A Mixed Approach / Christophe Ringeissen and Eric Monfroy -- Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation / Marius-C. Silaghi, Djamila Sam-Haroud and Boi Faltings -- Combining Constraint Logic Programming Techniques for Solving Linear Problems / Reem Bahgat and Samir E. Abdel-Rahman -- Quantitative Observables and Averages in Probabilistic Constraint Programming / Alessandra Di Pierro and Herbert Wiklicky -- Dynamic Constraint Models for Planning and Scheduling Problems / Roman Bartak -- A Finite Domain CLP Solver on Top of Mercury / Henk Vandecasteele, Bart Demoen and Gerda Janssens -- Rule Based Programming with Constraints and Strategies / Hubert Dubois and Helene Kirchner -- Proving Termination of Constraint Solver Programs / Thom Fruhwirth -- Projection in Adaptive Constraint Handling / Armin Wolf.
- ISBN
- 3540678859 (softcover : alk. paper)
- LCCN
- 00061907
- OCLC
- ocm44750752
- SCSB-3914328
- Owning Institutions
- Columbia University Libraries