Over-Constrained Systems

Name: Over-Constrained Systems
Price: 31.59 USD
Availability: InStock
ISBN: 9783540614791

ISBN-10: 3540614796

ISBN-13: 9783540614791

Edition: 1996

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

List price: $99.00

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $31.59

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

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