Constraint processing : selected papers /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1995.
|
| Series: | Lecture notes in computer science ;
923. |
| Subjects: |
Table of Contents:
- 1. A Detailed Algorithm Testing Guards over Feature Trees / Andreas Podelski and Peter Van Roy
- 2. A Generalized Semantics for Concurrent Constraint Languages and Their Abstract Interpretation /Christian Codognet and Philippe Codognet
- 3. High-Level Constraints over Finite Domains / M. Anton Ertl and Andreas Krall
- 4. Integrating Constraints in an Object-Based Knowledge Representation System /Jerome Gensel
- 5. A CLP Approach for Examination Planning /Patrice Boizumault, Yan Delon and Laurent Peridy
- 6. The Many Paths to Satisfaction / Eugene C. Freuder
- 7. Directed Arc Consistency Preprocessing / Richard J. Wallace
- 8. In Search of Exceptionally Difficult Constraint Satisfaction Problems / Barbara M. Smith
- 9. Using Bidirectionality to Speed Up Arc-Consistency Processing / Christian Bessiere and Jean-Charles Regin
- 10. Using Metalevel Constraint Knowledge to Reduce Constraint Checking / Eugene C. Freuder.
- 11. Forward Checking with Backmarking / Patrick Prosser
- 12. Redundant Hidden Variables in Finite Domain Constraint Problems / Francesca Rossi
- 13. Semantic Properties of CHIP (FD) / Gilberto File, Giuseppe Nardiello and Adriano Tirabosco
- 14. Combining Hill Climbing and Forward Checking / Dan R. Vlasie
- 15. GA-easy and GA-hard Constraint Satisfaction Problems / Agoston Eiben, Paul-Erik Raue and Zsofia Ruttkay.