Over-Constrained Systems

This Volume Presents A Collection Of Refereed Papers Reflecting The State Of The Art In The Area Of Over-constrained Systems. Besides 11 Revised Full Papers, Selected From The 24 Submissions To The Ocs Workshop Held In Conjunction With The First International Conference On Principles And Practice Of Constraint Programming, Cp '95, Held In Marseilles In September 1995, The Book Includes Three Comprehensive Background Papers Of Central Importance For The Workshop Papers And The Whole Field. Also Included Is An Introduction By One Of The Volume Editors Together With A Bibliography Listing 243 Entries. All In All This Is A Very Useful Reference Book Relevant For All Researchers And Practitioners Interested In Hierarchical, Partial, And Over-constrained Systems.--publisher's Website. Michael Jampel, Eugene Freuder, Michael Maher (eds.). Papers From A Workshop Held Sept. 1995 As Part Of The First International Conference On Principles And Practice Of Constraint Programming, At Cassis, France. Includes Bibliographical References And Index. A brief overview of over-constrained systems....Pages 1-22 Constraint hierarchies....Pages 23-62 Partial constraint satisfaction....Pages 63-110 Semiring-based CSPs and valued CSPs: Basic properties and comparison....Pages 111-150 Defeasible constraint solving....Pages 151-170 Transforming ordered constraint hierarchies into ordinary constraint systems....Pages 171-187 A compositional theory of constraint hierarchies (Operational semantics)....Pages 189-206 Heuristic methods for over-constrained constraint satisfaction problems....Pages 207-216 Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem....Pages 217-227 Partial arc consistency....Pages 229-236 Dynamic constraint satisfaction with conflict management in design....Pages 237-251 Specifying over-constrained problems in default logic....Pages 253-264 Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems....Pages 265-280 Experiences in solving constraint relaxation networks with Boltzmann Machines....Pages 281-292 Solving over-constrained CSP using weighted OBDDs....Pages 293-308 This volume collates a selection of refereed papers reflecting up-to-date research on over-constrained systems. The papers were selected from submissions to the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in 1995.