Recent Advances in Constraints

Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

  • Brahim Hnich
  • Mats Carlsson
  • François Fages
  • Francesca Rossi
Conference proceedings CSCLP 2005

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

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

Table of contents

  1. Front Matter
  2. Global Constraints

    1. Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
      Pages 29-43
  3. Search and Heuristics

    1. Ola Angelsmark, Johan Thapper
      Pages 44-58
    2. Igor Razgon, Amnon Meisels
      Pages 59-72
    3. Richard J. Wallace
      Pages 73-87
  4. Language and Implementation Issues

    1. Emmanuel Coquery, François Fages
      Pages 100-117
    2. Christian Schulte, Guido Tack
      Pages 118-132
  5. Modeling

  6. Back Matter

About these proceedings

Keywords

arithmetic constraints constraint logic programming constraint optimization constraint problem solving constraint processing constraint programming constraint search constraint solving heuristics interval constraints local search logic logic inferenc modeling programming

Editors and affiliations

  • Brahim Hnich
    • 1
  • Mats Carlsson
    • 2
  • François Fages
    • 3
  • Francesca Rossi
    • 4
  1. 1.Faculty of Computer ScienceIzmir University of EconomicsTurkey
  2. 2.SICSKistaSweden
  3. 3.Projet Contraintes, INRIA Rocquencourt,Le Chesnay CedexFrance
  4. 4.Dipartimento di Matematica Pura ed ApplicataUniversità di PadovaPadovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/11754602
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34215-1
  • Online ISBN 978-3-540-34216-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book