Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
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
Available Online
Springer Nature - Springer Lecture Notes in Computer Science eBooks
Springer Nature - Springer Book Archive - Springer Computer Science
Copies in the Library
Location
Call Number
Status
Location Service
Notes
ReCAP - Remote Storage
QA76.612 .C68 1995
Browse related items
Request
Details
Subject(s)
Constraint programming (Computer science)
[Browse]
Constraint programming (Computer science)
—
Congresses
[Browse]
Related name
Meyer, Manfred, 1963-
[Browse]
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.
Show 12 more Contents items
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
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Constraint Processing [electronic resource] : Selected Papers / edited by Manfred Meyer.
id
99125142003106421
Constraint processing : selected papers / Manfred Meyer, ed.
id
SCSB-8566497