International Workshop on Constraint Solving and Constraint Logic Programming 2002: Cork, Ireland

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 BibTeX

@proceedings{DBLP:conf/colognet/2002,
  editor    = {Barry O'Sullivan},
  title     = {Recent Advances in Constraints, Joint ERCIM/CologNet International
               Workshop on Constraint Solving and Constraint Logic Programming,
               Cork, Ireland, June 19-21, 2002. Selected Papers},
  booktitle = {International Workshop on Constraint Solving and Constraint Logic
               Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2627},
  year      = {2003},
  isbn      = {3-540-00986-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Abstract Verification and Debugging of Constraint Logic Programs. 1-14
Electronic Edition (Springer LINK) BibTeX
Alan M. Frisch, Ian Miguel, Toby Walsh:
CGRASS: A System for Transforming Constraint Satisfaction Problems. 15-30
Electronic Edition (Springer LINK) BibTeX
Stefano Bistarelli, Boi Faltings, Nicoleta Neagu:
Interchangeability in Soft CSPs. 31-46
Electronic Edition (Springer LINK) BibTeX
Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou:
Towards Automated Reasoning on the Properties of Numerical Constraints. 47-61
Electronic Edition (Springer LINK) BibTeX
Marc R. C. van Dongen:
Domain-Heuristics for Arc-Consistency Algorithms. 62-75
Electronic Edition (Springer LINK) BibTeX
Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace:
Computing Explanations and Implications in Preference-Based Configurators. 76-92
Electronic Edition (Springer LINK) BibTeX
James Bowen:
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems. 93-108
Electronic Edition (Springer LINK) BibTeX
Sebastian Brand:
A Note on Redundant Rules in Rule-Based Constraint Programming. 109-120
Electronic Edition (Springer LINK) BibTeX
Patrick Prosser, Evgeny Selensky:
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables. 121-131
Electronic Edition (Springer LINK) BibTeX
Steven David Prestwich:
A Local Search Algorithm for Balanced Incomplete Block Designs. 132-143
Electronic Edition (Springer LINK) BibTeX
Inês Lynce, João P. Marques Silva:
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. 144-158
Electronic Edition (Springer LINK) BibTeX
Hans Schlenker, Georg Ringwelski:
POOC: A Platform for Object-Oriented Constraint Programming. 159-170
Electronic Edition (Springer LINK) BibTeX
Peter Zoeteweij:
A Coordination-Based Framework for Distributed Constraint Solving. 171-184
Electronic Edition (Springer LINK) BibTeX
Roman Barták:
Visopt ShopFloor: Going Beyond Traditional Scheduling. 185-199
Electronic Edition (Springer LINK) BibTeX