Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1996

Over-Constrained Systems

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)

Conference series link(s): OCS: International Workshop on Over-Constrained Systems

Conference proceedings info: OCS 1995.

Sections

Buy it now

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 (15 papers)

  1. Front Matter

    PDF

  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

  9. Heuristic methods for over-constrained constraint satisfaction problems

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

  11. Partial arc consistency

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

  13. Specifying over-constrained problems in default logic

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

  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

    PDF
Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation