2. PPCP'94: Rosario, Orcas Island, Washington
The Second PPCP Workshop was an inter-disciplinary meeting focusing on
constraint programming and constraint-based systems. The workshop was held
in cooperation with the American Association for Artificial Intelligence
and the Association for Logic Programming, and was sponsored in part by the
Office of Naval Research.
The papers from the workshop are available by anonymous ftp from the host
ftp.cs.washington.edu.
Each paper is stored as a separate compressed
postcript file.
Invited Talk
- Nevin Heintze, Joxan Jaffar: Set Constraints and Set-Based Analysis.
Postscript
CSPs (Part 1)
- Peter Jeavons, David Cohen, Martin Cooper:
A Substitution Operation for Constraints.
Postscript
- Daniel Sabin, Eugene C. Freuder:
Contradicting Conventional Wisdom in Constraint Satisfaction.
Postscript
- Yuejun Jiang, Thomas Richards, Barry Richards:
No-good Backmarking with Min-Conflict Repair in Constraint
Satisfaction and Optimization.
Postscript
User Interfaces
- Hiroshi Hosobe, Kken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa:
Locally Simultaneous Constraint Satisfaction.
Postscript
- Michael Sannella:
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints.
Postscript
- Suresh Thennarangam, Gurminder Singh:
Inferring 3-dimensional constraints with DEVI.
Postscript -
Picture
Constraint Logic Programming
- Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap:
Beyond Finite Domains.
Postscript
- Gilles Pesant, Michael Boyer:
QUAD-CLP(R): Adding the Power of Quadratic Constraints.
Postscript
- Arcot Rajasekar:
Applications in Constraint Logic Programming with Strings.
Postscript
Concurrent Constraint Languages
- Manuel V. Hermenegildo:
Towards CIAO-Prolog - A Parallel Concurrent Constraint System.
Postscript
- Christian Schulte, Gert Smolka, Jörg Würtz:
Constraint Programming in Oz.
Postscript
- U. Montanari,
Francesca Rossi,
F. Bueno, M. García de la Banda,
Manuel V. Hermenegildo:
Towards a Concurrent Semantics based Analysis of CC and CLP.
Postscript
- Ugo Montanari, Francesca Rossi, Vijay A. Saraswat:
CC Programs with both In- and Non-determinism: A Concurrent Semantics.
Postscript
Databases (Part 1)
- Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom:
Efficient and Complete Tests for Database Integrity Constraint Checking.
Postscript
- Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper:
Linear vs. Polynomial Constraints in Database Query Languages.
Postscript
- Divesh Srivastava, Kenneth Ross, Peter J. Stuckey, S. Sudarshan:
Foundations of Aggregation Constraints.
Postscript
Other Topics
- Alexander Aiken: Set Constraints: Results, Applications, and Future Directions.
Postscript
- William Pugh, David Wonnacott:
Experiences with Constraint-based Array Dependence Analysis.
Postscript
- Massimo Paltrinieri:
Some Remarks on the Design of Constraint Satisfaction Problems.
Postscript
- J. N. Hooker: Logic-Based Methods for Optimization.
Postscript
Artificial Intelligence
- Ying Zhang, Alan K. Mackworth:
Specification & Verification of Constraint-Based Dynamic Systems.
Postscript
- Matthew L. Ginsberg, David A. McAllester:
GSAT and Dynamic Backtracking.
Postscript
- Manolis Koubarakis:
Foundations of Indefinite Constraint Databases.
Postscript
CSPs (Part 2)
- Djamila Haroud, Boi Faltings:
Global Consistency for Continuous Constraints.
Postscript
- Belaid Benhamou:
Study of symmetry in Constraint Satisfaction Problems.
Postscript
- Lakhdar Sais:
Characterization of the set of models by means of symmetries.
Postscript
Databases (Part 2)
- Marianne Baudinet, Jan Chomicki, Pierre Wolper:
Constraint-Generating Dependencies.
Postscript
- Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz:
Constraint Objects.
Postscript
Copyright © Sat May 16 23:34:56 2009
by Michael Ley (ley@uni-trier.de)