1. CP 1995 Workshop Over-Constrained Systems

• 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, Dimitrios M. Thilikos:
  Partial Arc Consistency. 229-236
  
• Esther 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
  

Last update Sat May 18 18:18:43 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page