Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Boi V. Faltings

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Adrian Petcu

    1. Ecole Polytechnique Federale de Lausanne (EPFL), Lausanne, (Switzerland)

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. François Fages

    1. Projet Contraintes, INRIA Rocquencourt, Le Chesnay Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Francesca Rossi

    1. Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: CSCLP 2004.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Constraint Propagation

    1. GCC-Like Restrictions on the Same Constraint

      • Nicolas Beldiceanu, Irit Katriel, Sven Thiel
      Pages 1-11

    2. A Note on Bilattices and Open Constraint Programming

      • Arnaud Lallouet
      Pages 12-25

    3. 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. A Value Ordering Heuristic for Local Search in Distributed Resource Allocation

      • Adrian Petcu, Boi Faltings
      Pages 86-97

    5. Automatically Exploiting Symmetries in Constraint Programming

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

    6. New Structural Decomposition Techniques for Constraint Satisfaction Problems

      • Yaling Zheng, Berthe Y. Choueiry
      Pages 113-127

  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

    6. Better Propagation for Non-preemptive Single-Resource Constraint Problems

      • Armin Wolf
      Pages 201-215

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Advances in Constraints

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation