© 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

  • Boi V. Faltings
  • Adrian Petcu
  • François Fages
  • Francesca Rossi
Conference proceedings CSCLP 2004

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 3419)

Table of contents

  1. Front Matter
  2. Constraint Propagation

    1. Nicolas Beldiceanu, Irit Katriel, Sven Thiel
      Pages 1-11
    2. Igor Razgon, Amnon Meisels
      Pages 26-40
  3. Search

    1. J. Christopher Beck, Patrick Prosser, Richard J. Wallace
      Pages 41-55
    2. Venkata Praveen Guddeti, Berthe Y. Choueiry
      Pages 56-70
    3. Viet Nguyen, Djamila Sam-Haroud, Boi Faltings
      Pages 71-85
    4. Arathi Ramani, Igor L. Markov
      Pages 98-112
  4. Applications

    1. Ola Angelsmark, Johan Thapper
      Pages 128-141
    2. Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo
      Pages 142-156
    3. Lucas Bordeaux, Brice Pajot
      Pages 157-171
    4. Brahim Hnich, Steven Prestwich, Evgeny Selensky
      Pages 172-186
    5. Alan Holland, Barry O’Sullivan
      Pages 187-200
  5. Back Matter

About these proceedings


Variable algorithms constraint logic programming constraint optimization constraint problem solving constraint programming constraint satisfaction constraint satisfaction problems constraint search heuristics interval constraints logic programming

Editors and affiliations

  • Boi V. Faltings
    • 1
  • Adrian Petcu
    • 2
  • François Fages
    • 3
  • Francesca Rossi
    • 4
  1. 1.Artificial Intelligence LabEcole Polytechnique Fédérale de LausanneLausanneSwitzerland
  2. 2.Ecole Polytechnique Federale de Lausanne (EPFL)Lausanne(Switzerland)
  3. 3.Projet Contraintes, INRIA RocquencourtLe Chesnay CedexFrance
  4. 4.Dipartimento di Matematica Pura ed ApplicataUniversità di PadovaPadovaItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences