International Workshop on Constraint Solving and Constraint Logic Programming

Keyphrases

Publications

volume 2627, 2003

Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers International Workshop on Constraint Solving and Constraint Logic Programming 2627 (2003)

2002

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