2. PPCP 1994: Rosario, Orcas Island, Washington
Alan Borning (Ed.): Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science ISBN 3-540-58601-6
CSPs
- Daniel Sabin, Eugene C. Freuder: Contradicting Conventional Wisdom in Constraint Satisfaction. 10-20
- Yuejun Jiang, Thomas Richards, Barry Richards: Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization. 21-39
User Interfaces
- Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa: Locally Simultaneous Constraint Satisfaction. 51-62
- Michael Sannella: Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints. 63-77
Constraint Logic Programming
- Arcot Rajasekar: Applications in Constraint Logic Programming with Strings. 109-122
Concurrent Constraint Languages
- Manuel V. Hermenegildo: Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. 123-133
- Christian Schulte, Gert Smolka, Jörg Würtz: Encapsulated Search and Constraint Programming in Oz. 134-150
- Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Towards a Concurrent Semantics based Analysis of CC and CLP. 151-161
- Ugo Montanari, Francesca Rossi, Vijay A. Saraswat: CC Programs with both In- and Non-determinism: A Concurrent Semantics. 162-172
Databases
- Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom: Efficient and Complete Tests for Database Integrity Constraint Checking. 173-180
- Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper: Linear vs Polynomial Constraints in Database Query Languages. 181-192
- Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. 193-204
Artificial Intelligence
- Ying Zhang, Alan K. Mackworth: Specification and Verification of Constraint-Based Dynamic Systems. 229-242
- Manolis Koubarakis: Foundations of Indefinite Constraint Databases. 266-280
Other Topics
- Massimo Paltrinieri: On the Design of Constraint Satisfaction Problems. 299-311
- Alexander Aiken: Set Constraints: Results, Applications, and Future Directions. 326-335
- John N. Hooker: Logic-Based Methods for Optimization. 336-349
- David Kurlander, Jean-Francois Puget, Jeff Heisserman: Panel Session: Commercial Applications of Constraint Programming. 350-360
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team