CSCLP 2003: Budapest, Hungary

Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza (Eds.): 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

@proceedings{DBLP:conf/csclp/2003,
  editor    = {Krzysztof R. Apt and
               Fran\c{c}ois Fages and
               Francesca Rossi and
               P{\'e}ter Szeredi and
               J{\'o}zsef V{\'a}ncza},
  title     = {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},
  booktitle = {CSCLP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3010},
  year      = {2004},
  isbn      = {3-540-21834-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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, Eric 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

Last update Thu May 24 04:15:29 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page