![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
International Workshop on Constraint Solving and Constraint Logic Programming 2002: Cork, Ireland
- Barry O'Sullivan:
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, Éric 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 D. Prestwich:
A Local Search Algorithm for Balanced Incomplete Block Designs. 132-143 - Inês Lynce, João 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.