default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCSCLP 2003: Budapest, Hungary
- Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers. Lecture Notes in Computer Science 3010, Springer 2004, ISBN 3-540-21834-3
Constraint Solving
- Krzysztof R. Apt, Peter Zoeteweij:
A Comparative Study of Arithmetic Constraints on Integer Intervals. 1-24 - Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings:
Clustering for Disconnected Solution Sets of Numerical CSPs. 25-43 - Roman Barták, Roman Mecl:
Implementing Propagators for Tabular Constraints. 44-65 - Sebastian Brand, Rosella Gennari
, Maarten de Rijke:
Constraint Methods for Modal Satisfiability. 66-86 - Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali:
Learning Approximate Consistencies. 87-106
Soft Constraints
- Stefano Bistarelli, Francesca Rossi, Isabella Pilan:
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. 107-123 - Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan:
Tradeoff Generation Using Soft Constraints. 124-139 - Nicoleta Neagu, Stefano Bistarelli, Boi Faltings:
Experimental Evaluation of Interchangeability in Soft CSPs. 140-153
Language Issues
- Carlos Castro, Éric Monfroy, Christophe Ringeissen:
A Rule Language for Interaction. 154-170 - Ludovic Langevine, Pierre Deransart, Mireille Ducassé:
A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. 171-195
Applications
- Péter Szeredi:
Teaching Constraints through Logic Puzzles. 196-222 - Armin Wolf:
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling. 223-232 - Roman Barták, Tomás Müller, Hana Rudová:
A New Approach to Modeling and Solving Minimal Perturbation Problems. 233-249 - Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Protein Folding in CLP(FD) with Empirical Contact Energies. 250-265 - Zsófia Ruttkay, Zhisheng Huang, Anton Eliëns:
Gestures for Embodied Agents with Logic Programming. 266-284
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 2025-07-05 02:35 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:
