Research Catalog
Constraint processing : selected papers
- Title
- Constraint processing : selected papers / Manfred Meyer, ed.
- Publication
- Berlin ; New York : Springer-Verlag, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 96-986 | Offsite |
Details
- Additional Authors
- Meyer, Manfred, 1963-
- Description
- 287 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 923
- Subject
- Note
- Papers from two workshops held in 1993 and 1994.
- Bibliography (note)
- 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.
- Call Number
- JSE 96-986
- ISBN
- 0387594795
- 3540594795 (softcover : acid-free paper)
- LCCN
- 95022167
- OCLC
- 32665918
- Title
- Constraint processing : selected papers / Manfred Meyer, ed.
- Imprint
- Berlin ; New York : Springer-Verlag, c1995.
- Series
- Lecture notes in computer science ; 923
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Meyer, Manfred, 1963-
- Research Call Number
- JSE 96-986