Michael Jampel Eugene Freuder Michael Maher (Eds.) Over-Constrained Systems Technische Hochschule Darmstadt FACHBEREICH INFOfiMATIK B1BLIOTHEK Inventar-Nr.: . Sachgebiete: Standort: Springer i Contents A Brief Overview of Over-Constrained Systems Michael Jampel 1 Background Papers Constraint Hierarchies Alan Borning, Bjorn Freeman-Bens on, and Molly Wilson 23 Partial Constraint Satisfaction Eugene Freuder and Richard Wallace 63 Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison Stefano Bistarelli, Helene Fargier, Ugo Montanari, Francesco Rossi, Thomas Schiex, and Gerard Verfaillie Ill Constraint Logic Programming Defeasible Constraint Solving Francisco Menezes and Pedro Barahona Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems Armin Wolf A Compositional Theory of Constraint Hierarchies Michael Jampel 151 171 189 Constraint Satisfaction Problems Heuristic Methods for Over-Constrained Constraint Satisfaction Problems Richard Wallace and Eugene Freuder 207 X Cascaded Directed Arc Consistency and No-Good Learning for the Maximal Constraint Satisfaction Problem Richard Wallace 217 Partial Arc Consistency 229 Nick Dendris, Lefteris Kirousis, Yannis Stamatiou, and Dimitris Thilikos Dynamic Constraint Satisfaction with Conflict Management in Design Esther Gelle and Ian Smith 237 Alternative Paradigms Specifying Over-Constrained Problems in Default Logic Abdul Sattar, Aditya Ghose, and Randy Goebel 253 Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems Narendra Jussien and Patrice Boizumault 265 Experiences in Solving Constraint Relaxation Networks with Boltzmann Machines Rolf Weifischnur, Joachim Hertzberg, and Hans Werner Guesgen 281 Solving Over-Constrained CSPs Using Weighted OBDDs Fabrice Bouquet and Philippe Jegou 293 Author Index 309
© Copyright 2024 ExpyDoc
