default search action
1st CP 1995 Workshop Over-Constrained Systems
- Michael Jampel, Eugene C. Freuder, Michael J. Maher:
Over-Constrained Systems. Lecture Notes in Computer Science 1106, Springer 1996, ISBN 3-540-61479-6 - Michael Jampel:
A Brief Overview of Over-Constrained Systems. 1-22
Background Papers
- Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson:
Constraint Hierarchies. 23-62 - Eugene C. Freuder, Richard J. Wallace:
Partial Constraint Satisfaction. 63-110 - Stefano Bistarelli
, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie:
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. 111-150
Constraint Logic Programming
- Francisco Menezes, Pedro Barahona:
Defeasible Constraint Solving. 151-170 - Armin Wolf:
Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. 171-187 - Michael Jampel:
A Composistional Theory of Constraint Hierarchies. 189-206
Constraint Satisfaction Problems
- Richard J. Wallace, Eugene C. Freuder:
Heuristic Methods for Over-Constrained Constraint Satisfaction Problems. 207-216 - Richard J. Wallace:
Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem. 217-228 - Nick Lendris, Lefteris M. Kirousis, Yannis C. Stamatiou
Partial Arc Consistency. 229-236 - Esther M. Gelle, Ian F. C. Smith:
Dynamic Constraint Satisfaction with Conflict Management in Design. 237-251
Alternative Paradigms
- Abdul Sattar, Aditya Ghose, Randy Goebel:
Specifying Over-Constrained Problems in Default Logic. 253-264 - Narendra Jussien, Patrice Boizumault:
Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. 265-280 - Rolf Weißschnur, Joachim Hertzberg, Hans W. Guesgen
Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines. 281-292 - Fabrice Bouquet, Philippe Jégou:
Solving Over-Constrained CSPs Using Weighted OBDDs. 293-308
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: