Skip to main content
  • Conference proceedings
  • © 2005

Recent Advances in Constraints

Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

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

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 2004.

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 Propagation

    1. GCC-Like Restrictions on the Same Constraint

      • Nicolas Beldiceanu, Irit Katriel, Sven Thiel
      Pages 1-11
    2. Pruning by Equally Constrained Variables

      • Igor Razgon, Amnon Meisels
      Pages 26-40
  3. Search

    1. Trying Again to Fail-First

      • J. Christopher Beck, Patrick Prosser, Richard J. Wallace
      Pages 41-55
    2. Characterization of a New Restart Strategy for Randomized Backtrack Search

      • Venkata Praveen Guddeti, Berthe Y. Choueiry
      Pages 56-70
    3. Dynamic Distributed BackJumping

      • Viet Nguyen, Djamila Sam-Haroud, Boi Faltings
      Pages 71-85
    4. Automatically Exploiting Symmetries in Constraint Programming

      • Arathi Ramani, Igor L. Markov
      Pages 98-112
  4. Applications

    1. Algorithms for the Maximum Hamming Distance Problem

      • Ola Angelsmark, Johan Thapper
      Pages 128-141
    2. A System Prototype for Solving Multi-granularity Temporal CSP

      • Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo
      Pages 142-156
    3. Computing Equilibria Using Interval Constraints

      • Lucas Bordeaux, Brice Pajot
      Pages 157-171
    4. Constraint-Based Approaches to the Covering Test Problem

      • Brahim Hnich, Steven Prestwich, Evgeny Selensky
      Pages 172-186
    5. Super Solutions for Combinatorial Auctions

      • Alan Holland, Barry O’Sullivan
      Pages 187-200
  5. Back Matter

Other Volumes

  1. Recent Advances in Constraints

Keywords

  • Variable
  • algorithms
  • constraint logic programming
  • constraint optimization
  • constraint problem solving
  • constraint programming
  • constraint satisfaction
  • constraint satisfaction problems
  • constraint search
  • heuristics
  • interval constraints
  • logic
  • programming
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Artificial Intelligence Lab, Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland

    Boi V. Faltings

  • Ecole Polytechnique Federale de Lausanne (EPFL), Lausanne, (Switzerland)

    Adrian Petcu

  • Projet Contraintes, INRIA Rocquencourt, Le Chesnay Cedex, France

    François Fages

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

    Francesca Rossi

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