Skip to main content
SpringerLink
Log in

Over-Constrained Systems

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Michael Jampel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eugene Freuder
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Maher
    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 1106)

Included in the following conference series:

Conference proceedings info: OCS 1995.

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

Access this book

Log in via an institution
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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. A brief overview of over-constrained systems

    • Michael Jampel
    Pages 1-22

  3. Constraint hierarchies

    • Alan Borning, Bjorn Freeman-Benson, Molly Wilson
    Pages 23-62

  4. Partial constraint satisfaction

    • Eugene C. Freuder, Richard J. Wallace
    Pages 63-110

  5. Semiring-based CSPs and valued CSPs: Basic properties and comparison

    • Stefano Bistarelli, Hélène Faxgier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie
    Pages 111-150

  6. Defeasible constraint solving

    • Francisco Menezes, Pedro Barahona
    Pages 151-170

  7. Transforming ordered constraint hierarchies into ordinary constraint systems

    • Armin Wolf
    Pages 171-187

  8. A compositional theory of constraint hierarchies (Operational semantics)

    • Michael Jampel
    Pages 189-206

  9. Heuristic methods for over-constrained constraint satisfaction problems

    • Richard J. Wallace, Eugene C. Freuder
    Pages 207-216

  10. Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem

    • Richard J. Wallace
    Pages 217-227

  11. Partial arc consistency

    • Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitris M. Thilikos
    Pages 229-236

  12. Dynamic constraint satisfaction with conflict management in design

    • Esther Gelle, Ian Smith
    Pages 237-251

  13. Specifying over-constrained problems in default logic

    • Abdul Sattar, Aditya K. Ghose, Randy Goebel
    Pages 253-264

  14. Implementing constraint relaxation over finite domains using assumption-based truth maintenance systems

    • Narendra Jussien, Patrice Boizumault
    Pages 265-280

  15. Experiences in solving constraint relaxation networks with Boltzmann Machines

    • Rolf Weißschnur, Joachim Hertzberg, Hans Werner Guesgen
    Pages 281-292

  16. Solving over-constrained CSP using weighted OBDDs

    • Fabrice Bouquet, Philippe Jégou
    Pages 293-308

  17. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems.
Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation