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

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

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

  • DOI https://doi.org/10.1007/b106890
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25176-7
  • Online ISBN 978-3-540-32252-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace