Skip to main content
  • Conference proceedings
  • © 2003

Recent Advances in Constraints

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): CologNet: International ERCIM Workshop on Constraint Solving and Constraint Logic Programming

Conference proceedings info: CologNet 2002.

Buy it now

Buying options

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

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

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
  2. Abstract Verification and Debugging of Constraint Logic Programs

    • Manuel Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Pages 1-14
  3. CGRASS: A System for Transforming Constraint Satisfaction Problems

    • Alan M. Frisch, Ian Miguel, Toby Walsh
    Pages 15-30
  4. Interchangeability in Soft CSPs

    • Stefano Bistarelli, Boi Faltings, Nicoleta Neagu
    Pages 31-46
  5. Towards Automated Reasoning on the Properties of Numerical Constraints

    • Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Pages 47-61
  6. Domain-Heuristics for Arc-Consistency Algorithms

    • Marc R. C. van Dongen
    Pages 62-75
  7. Computing Explanations and Implications in Preference-Based Configurators

    • Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace
    Pages 76-92
  8. The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms

    • Inês Lynce, João Marques-Silva
    Pages 144-158
  9. POOC — A Platform for Object-Oriented Constraint Programming

    • Hans Schlenker, Georg Ringwelski
    Pages 159-170
  10. Back Matter

    Pages 201-201

Other Volumes

  1. Recent Advances in Constraints

Editors and Affiliations

  • Department of Computer Science, University College Cork, Ireland

    Barry O’Sullivan

Bibliographic Information

Buy it now

Buying options

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