Constraint Processing, Selected Papers 1995

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