Skip to main content
SpringerLink
Log in

Recent Advances in Constraints

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Barry O’Sullivan

    1. Department of Computer Science, University College Cork, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: CologNet 2002.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  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. Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems

    • James Bowen
    Pages 93-108

  9. A Note on Redundant Rules in Rule-Based Constraint Programming

    • Sebastian Brand
    Pages 109-120

  10. A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables

    • Patrick Prosser, Evgeny Selensky
    Pages 121-131

  11. A Local Search Algorithm for Balanced Incomplete Block Designs

    • Steven Prestwich
    Pages 132-143

  12. The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms

    • Inês Lynce, João Marques-Silva
    Pages 144-158

  13. POOC — A Platform for Object-Oriented Constraint Programming

    • Hans Schlenker, Georg Ringwelski
    Pages 159-170

  14. A Coordination-Based Framework for Distributed Constraint Solving

    • Peter Zoeteweij
    Pages 171-184

  15. Visopt ShopFloor: Going Beyond Traditional Scheduling

    • Roman Barták
    Pages 185-199

  16. Back Matter

    Pages 201-201
    Download chapter PDF
Back to top

Other volumes

  1. Recent Advances in Constraints

Keywords

Editors and Affiliations

  • Department of Computer Science, University College Cork, Ireland

    Barry O’Sullivan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation