Barry O'Sullivan (Ed.):
Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers.
Lecture Notes in Computer Science 2627 Springer 2003, ISBN 3-540-00986-8 
- Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Abstract Verification and Debugging of Constraint Logic Programs.
1-14
- Alan M. Frisch, Ian Miguel, Toby Walsh:
CGRASS: A System for Transforming Constraint Satisfaction Problems.
15-30
- Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability in Soft CSPs.
31-46
- Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou:
Towards Automated Reasoning on the Properties of Numerical Constraints.
47-61
- Marc R. C. van Dongen:
Domain-Heuristics for Arc-Consistency Algorithms.
62-75
- Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace:
Computing Explanations and Implications in Preference-Based Configurators.
76-92
- James Bowen:
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.
93-108
- Sebastian Brand:
A Note on Redundant Rules in Rule-Based Constraint Programming.
109-120
- Patrick Prosser, Evgeny Selensky:
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.
121-131
- Steven David Prestwich:
A Local Search Algorithm for Balanced Incomplete Block Designs.
132-143
- Inês Lynce, João P. Marques Silva:
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.
144-158
- Hans Schlenker, Georg Ringwelski:
POOC: A Platform for Object-Oriented Constraint Programming.
159-170
- Peter Zoeteweij:
A Coordination-Based Framework for Distributed Constraint Solving.
171-184
- Roman Barták:
Visopt ShopFloor: Going Beyond Traditional Scheduling.
185-199
Last update Sat May 18 02:24:44 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
