Skip to main content
SpringerLink
Log in

Constraint Processing

Selected Papers

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Manfred Meyer
    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 923)

Included in the following conference series:

Conference proceedings info: CP 1993. CP 1994.

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 detailed algorithm testing guards over feature trees

    • Andreas Podelski, Peter Van Roy
    Pages 11-38

  3. A generalized semantics for concurrent constraint languages and their abstract interpretation

    • Christian Codognet, Philippe Codognet
    Pages 39-49

  4. High-level constraints over finite domains

    • M. Anton Ertl, Andreas Krall
    Pages 51-66

  5. Integrating constraints in an object-based knowledge representation system

    • Jérôme Gensel
    Pages 67-83

  6. A CLP approach for examination planning

    • Patrice Boizumault, Yan Delon, Laurent Péridy
    Pages 85-101

  7. The many paths to satisfaction

    • Eugene C. Freuder
    Pages 103-119

  8. Directed arc consistency preprocessing

    • Richard J. Wallace
    Pages 121-137

  9. In search of exceptionally difficult constraint satisfaction problems

    • Barbara M. Smith
    Pages 139-155

  10. Using bidirectionality to speed up arc-consistency processing

    • Christian Bessière, Jean-Charles Régin
    Pages 157-169

  11. Using metalevel constraint knowledge to reduce constraint checking

    • Eugene C. Freuder
    Pages 171-184

  12. Forward checking with backmarking

    • Patrick Prosser
    Pages 185-204

  13. Redundant hidden variables in finite domain constraint problems

    • Francesca Rossi
    Pages 205-223

  14. Semantic properties of CHIP(FD)

    • Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
    Pages 225-245

  15. Combining hill climbing and forward checking for handling disjunctive constraints

    • Dan R. Vlasie
    Pages 247-265

  16. GA-easy and GA-hard constraint satisfaction problems

    • Ágoston Eiben, Paul-Erik Raué, Zsófia Ruttkay
    Pages 267-283

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Constraint Processing

Keywords

About this book

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994).
This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation