Constraint Processing, Selected Papers 1995

Manfred Meyer (Ed.): Constraint Processing, Selected Papers. Lecture Notes in Computer Science 923 Springer 1995, ISBN 3-540-59479-5

@proceedings{DBLP:conf/cp/1995s,
  editor    = {Manfred Meyer},
  title     = {Constraint Processing, Selected Papers},
  booktitle = {Constraint Processing, Selected Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {923},
  year      = {1995},
  isbn      = {3-540-59479-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Andreas Podelski, Peter Van Roy: A Detailed Algorithm Testing Guards over Feature Trees. 11-38
Christian Codognet, Philippe Codognet: A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. 39-49
M. Anton Ertl, Andreas Krall: High-Level Constraints over Finite Domains. 51-66
Jérôme Gensel: Integrating Constraints in an Object-Based Knowledge Representation System. 67-83
Patrice Boizumault, Yan Delon, Laurent Péridy: A CLP Approach for Examination Planning. 85-101
Eugene C. Freuder: The Many Paths to Satisfaction. 103-119
Richard J. Wallace: Directed Arc Consistency Preprocessing. 121-137
Barbara M. Smith: In Search of Exceptionally Difficult Constraint Satisfaction Problems. 139-155
Christian Bessière, Jean-Charles Régin: Using Bidirectionality to Speed up Arc-Constistency Processing. 157-169
Eugene C. Freuder: Using Metalevel Constraint Knowledge to Reduce Constraint Checking. 171-184
Patrick Prosser: Forward Checking with Backmarking. 185-204
Francesca Rossi: Redundant Hidden Variables in Finite Domain Constraint Problems. 205-223
Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: Semmantic Properties of CHIP (FD). 225-245
Dan R. Vlasie: Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints. 247-265
A. E. Eiben, Paul-Erik Raué, Zsófia Ruttkay: GA-easy and GA-hard Constraint Satisfaction Problems. 267-283