Constraint processing : selected papers / Manfred Meyer, ed.

Format
Book
Language
English
Published/​Created
Berlin ; New York : Springer-Verlag, ©1995.
Description
287 pages : illustrations ; 25 cm

Availability

Copies in the Library

Location Call Number Status Location Service Notes
ReCAP - Remote StorageQA76.612 .C68 1995 Browse related items Request

    Details

    Subject(s)
    Series
    Lecture notes in computer science ; 923. [More in this series]
    Notes
    Papers from two workshops held in 1993 and 1994.
    Bibliographic references
    Includes bibliographical references and index.
    Contents
    • A detailed algorithm testing guards over feature trees / Andreas Podelski, Peter Van Roy
    • A generalized semantics for concurrent constraint languages and their abstract interpretation / Christian Codognet, Philippe Codognet
    • High-level constraints over finite domains / M. Anton Ertl, Andreas Krall
    • Integrating constraints in an object-based knowledge representation system / Jérôme Gensel
    • A CLP approach for examination planning / Patrice Boizumault, Yan Delon, Laurent Périday
    • The many paths to satisfaction / Eugene C. Freuder
    • Directed arc consistency preprocessing / Richard J. Wallace
    • In search of exceptionally difficult constraint satisfaction problems / Barbara M. Smith
    • Using bidirectionality to speed up arc-consistency processing / Christian Bessière, Jean-Charles Régin
    • Using metalevel constraint knowledge to reduce constraint checking / Eugene C. Freuder
    • Forward checking with backmarking / Patrick Prosser
    • Redundant hidden variables in finite domain constraint problems / Francesca Rossi
    • Semantic properties of CHIP(FD) / Gilberto Filé, Giuseppe Nordiello, Adriano Tirabosco
    • Combining hill climbing and forward checking / Dan R. Vlasie
    • GA-easy and GA-hard constraint satisfaction problems / Ágoston Eiben, Paul-Erik Raué, Zsófia Ruttkay.
    ISBN
    • 0387594795
    • 9780387594798
    • 3540594795 ((softcover ; : acid-free paper))
    • 9783540594796 ((softcover ; : acid-free paper))
    LCCN
    95022167
    OCLC
    32665918
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view