Advertisement

Recent Advances in Constraints

Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

  • Barry O’Sullivan
Conference proceedings CologNet 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Manuel Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Pages 1-14
  3. Alan M. Frisch, Ian Miguel, Toby Walsh
    Pages 15-30
  4. Stefano Bistarelli, Boi Faltings, Nicoleta Neagu
    Pages 31-46
  5. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Pages 47-61
  6. Marc R. C. van Dongen
    Pages 62-75
  7. Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace
    Pages 76-92
  8. Inês Lynce, João Marques-Silva
    Pages 144-158
  9. Hans Schlenker, Georg Ringwelski
    Pages 159-170
  10. Back Matter
    Pages 201-201

About these proceedings

Keywords

Debugging abstract verification constraint logic programming constraint programming constraint relaxation constraint satisfaction problems constraint solving local search logic logic inference modeling programming soft constraints verification

Editors and affiliations

  • Barry O’Sullivan
    • 1
  1. 1.Department of Computer ScienceUniversity College CorkIreland

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36607-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00986-3
  • Online ISBN 978-3-540-36607-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site