1. PPCP 1993: Newport, Rhode Island

The papers from the workshop are available by anonymous ftp from the host wilma.cs.brown.edu. Each paper is stored as a separate compressed postscript file. From ftp.cs.city.ac.uk you may load a zip file with all the papers in one file (by Michael Jampel).

Hassan Aït-Kaci, Andreas Podelski: Entailment and Disentailment of Order-Sorted Feature Constraints. 1-6 BibTeX , Postscript
Alexander Brodsky, Catherine Lassez: Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract). 7-11 BibTeX , Postscript
Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama: Constraint Optimization using Preference Logics: A New Role for Modal Logic. 12-21 BibTeX , Postscript
Isabel F. Cruz: Using a Visual Constraint Language for Data Display Specification. 22-33 BibTeX , Postscript
Stéphane Donikian, Gérard Hégron: Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling. 34-43 BibTeX , Postscript
Thomas Dubé, Chee-Keng Yap: The Geometry in Constraint Logic Programs. 44-50 BibTeX , Postscript
François Fages: On the Semantics of Optimization Predicates in CLP languages. 51-59 BibTeX , Postscript
Tim Fernando: A higher-order extension of constraint programming in disourse analysis. 60-69 BibTeX , Postscript
Eugene C. Freuder, Paul D. Hubbe: A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction. 70-79 BibTeX , Postscript
Thom W. Frühwirth, Philipp Hanschke: Terminological Reasoning with Constraint Handling Rules. 80-89 BibTeX , Postscript
Hong Gao, David Scott Warren: A Powerful Evaluation Strategy For CLP Programs. 90-97 BibTeX , Postscript
Michael Gleicher: Practical Issues in Graphical Constraints. 98-106 BibTeX , Postscript
Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per Brand, Kent Boortz, Björn Danielsson, Björn Carlson, Torbjörn Keisu, Dan Sahlin, Thomas Sjöland: Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). 107-116 BibTeX , Postscript
Jean-Louis Imbert: Fourier's Elimination: Which to Choose? 117-129 BibTeX , Postscript
Mark Johnson: Memoization in Constraint Logic Programming. 130-138 BibTeX , Postscript
Simon Kasif, Arthur L. Delcher: Local Consistency in Parallel Constraint-Satisfaction Networks. 139-145 BibTeX , Postscript
Walid T. Kerrouz, Glenn A. Kramer, Jahir Pabon: Exploiting Constraint Dependency Information For Debugging and Explanation. 146-155 BibTeX , Postscript
Claude Kirchner, Hélène Kirchner, Marian Vittek: Implementing Computational Systems with Constraints. 156-165 BibTeX , Postscript
Gabriel M. Kuper: Aggregation in Constraint Databases. 166-173 BibTeX , Postscript
François Major, Marcel Turcotte, Guy Lapalme: Constraint Satisfaction in Functional Programming. 174-177 BibTeX , Postscript
Ken McAloon, Carol Tretkoff: 2lp: Linear Programming and Logic Programming. 178-189 BibTeX , Postscript
Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. 190-199 BibTeX , Postscript
Scott Meyers, Carolyn K. Duby, Steven P. Reiss: Constraining the Structure and Style of Object-Oriented Programs. 200-209 BibTeX , Postscript
Spiro Michaylov, Frank Pfenning: Higher-Order Logic Programming as Constraint Logic Programming. 210-218 BibTeX , Postscript
Ugo Montanari, Francesca Rossi: Constraint Satisfaction, Constraint Programming, and Concurrency. 219-227 BibTeX , Postscript
William J. Older, Frédéric Benhamou: Programming in CLP(BNR). 228-238 BibTeX , Postscript
Dinesh K. Pai: Robot Programming and Constraints. 239-246 BibTeX , Postscript
William C. Rounds, Guo-Qiang Zhang: Constraints in Nonmonotonic Reasoning. 247-257 BibTeX , Postscript
Michael Sannella: The SkyBlue Constraint Solver and Its Applications. 258-268 BibTeX , Postscript
Tony Savor, Paul P. Dasiewicz: A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm. 269-277 BibTeX , Postscript
Douglas R. Smith: Synthesis of Constraint Algorithms. 278-283 BibTeX , Postscript
Terence R. Smith, Keith K. Park: Constraint-Based Languages for Scientific Database and Modeling Systems. 284-288 BibTeX , Postscript
Allen C. Ward: Set-based Concurrent Engineering. 289-292 BibTeX , Postscript
Ying Zhang, Alan K. Mackworth: Constraint Programming in Constraint Nets. 293-302 BibTeX , Postscript
Richard Zippel: A Constraint Based Scientific Programming Language. 303-307 BibTeX , Postscript