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

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

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

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

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 Sat May 18 18:19:26 2013 CET by the DBLP Team —

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