Skip to main content
  • Conference proceedings
  • © 2004

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3010)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): CSCLP: International Workshop on Constraint Solving and Constraint Logic Programming

Conference proceedings info: CSCLP 2003.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Constraint Solving

    1. A Comparative Study of Arithmetic Constraints on Integer Intervals

      • Krzysztof R. Apt, Peter Zoeteweij
      Pages 1-24
    2. Clustering for Disconnected Solution Sets of Numerical CSPs

      • Xuan-Ha Vu, Djamila Sam-Haroud, Boi Faltings
      Pages 25-43
    3. Implementing Propagators for Tabular Constraints

      • Roman Barták, Roman Mecl
      Pages 44-65
    4. Constraint Methods for Modal Satisfiability

      • Sebastian Brand, Rosella Gennari, Maarten de Rijke
      Pages 66-86
    5. Learning Approximate Consistencies

      • Arnaud Lallouet, Andreï Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali
      Pages 87-106
  3. Soft Constraints

    1. Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs

      • Stefano Bistarelli, Francesca Rossi, Isabella Pilan
      Pages 107-123
    2. Tradeoff Generation Using Soft Constraints

      • Stefano Bistarelli, Jerome Kelleher, Barry O’Sullivan
      Pages 124-139
    3. Experimental Evaluation of Interchangeability in Soft CSPs

      • Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
      Pages 140-153
  4. Language Issues

    1. A Rule Language for Interaction

      • Carlos Castro, Eric Monfroy, Christophe Ringeissen
      Pages 154-170
    2. A Generic Trace Schema for the Portability of CP(FD) Debugging Tools

      • Ludovic Langevine, Pierre Deransart, Mireille Ducassé
      Pages 171-195
  5. Applications

    1. Teaching Constraints through Logic Puzzles

      • Péter Szeredi
      Pages 196-222
    2. A New Approach to Modeling and Solving Minimal Perturbation Problems

      • Roman Barták, Tomáš Müller, Hana Rudová
      Pages 233-249
    3. Protein Folding in CLP(\(\mathcal{FD}\)) with Empirical Contact Energies

      • Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
      Pages 250-265
    4. Gestures for Embodied Agents with Logic Programming

      • Zsòfia Ruttkay, Zhisheng Huang, Anton Eliens
      Pages 266-284
  6. Back Matter

Other Volumes

  1. Recent Advances in Constraints

About this book

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP2003), which was held from June 30 to July 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM). For many participants this workshop provided the ?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicated to s- porting and enhancing cooperation and research on all areas of computational logic, and continues the work done previously by the Compulog Net. In part- ular, the aim of the logic and constraint logic programming area of CoLogNET is to foster and support all research activities related to logic programming and constraint logic programming. The editors would like to take the opportunity and thank all the authors who submitted papers to this volume, as well as the reviewers for their helpful work.

Keywords

  • abstract verification
  • arithmetic constraints
  • constraint logic programming
  • constraint processing
  • constraint programming
  • constraint satisfaction problems
  • constraint solving
  • local search
  • logic
  • logic inference
  • programming
  • soft constraints

Editors and Affiliations

  • University of Amsterdam, The Netherlands

    Krzysztof R. Apt

  • Projet Contraintes, INRIA Rocquencourt, Domaine de Voluceau, France

    François Fages

  • Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    Francesca Rossi

  • Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Hungary, Budapest

    Péter Szeredi

  • Computer and Automation Research Institute, Hungarian Academy of Sciences, Budapest, Hungary

    Josef Váncza

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions