Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational 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
a service of 
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.
last updated on 2024-08-21 20:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
