Skip to content

Over-Constrained Systems

Spend $50 to get a free movie!

ISBN-10: 3540614796

ISBN-13: 9783540614791

Edition: 1996

Authors: Michael Jampel, Eugene C. Freuder, Michael W. Maher

List price: $99.00
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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…    
Customers also bought

Book details

List price: $99.00
Copyright year: 1996
Publisher: Springer
Publication date: 7/24/1996
Binding: Paperback
Pages: 314
Size: 6.10" wide x 9.25" long
Weight: 2.244
Language: English

A Brief Overview of Over-Constrained Systems
Constraint Hierarchies
Partial Constraint Satisfaction
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison
Defeasible Constraint Solving
Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems
A Compositional Theory of Constraint Hierarchies
Heuristic Methods for Over-Constrained Constraint Satisfaction Problems
Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem
Partial Arc Consistency
Dynamic Constraint Satisfaction with Conflict Management in Design
Specifying Over-Constrained Problems in Default Logic
Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems
Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines
Solving Over-Constrained CSPs Using Weighted OBDDs
Author Index