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. Lecture Notes in Computer Science 874 Springer 1994, ISBN 3-540-58601-6

@proceedings{DBLP:conf/ppcp/1994,
  editor    = {Alan Borning},
  title     = {Principles and Practice of Constraint Programming, Second International
               Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May
               2-4, 1994, Proceedings},
  booktitle = {PPCP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {874},
  year      = {1994},
  isbn      = {3-540-58601-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

CSPs

Peter Jeavons, David A. Cohen, Martin C. Cooper: A Substitution Operation for Constraints. 1-9
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
Djamila Haroud, Boi Faltings: Global Consistency for Continuous Constraints. 40-50

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
Suresh Thennarangam, Gurminder Singh: Inferring 3-dimensional constraints with DEVI. 78-85

Constraint Logic Programming

Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. 86-94
Gilles Pesant, Michel Boyer: QUAD-CLP(R): Adding the Power of Quadratic Constraints. 95-108
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
Marianne Baudinet, Jan Chomicki, Pierre Wolper: Constraint-Generating Dependencies. 205-217
Divesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz: Constraint Objects. 218-228

Artificial Intelligence

Ying Zhang, Alan K. Mackworth: Specification and Verification of Constraint-Based Dynamic Systems. 229-242
Matthew L. Ginsberg, David A. McAllester: GSAT and Dynamic Backtracking. 243-265
Manolis Koubarakis: Foundations of Indefinite Constraint Databases. 266-280