Abstract is missing.
- A Substitution Operation for ConstraintsPeter Jeavons, David A. Cohen, Martin C. Cooper. 1-9
- Contradicting Conventional Wisdom in Constraint SatisfactionDaniel Sabin, Eugene C. Freuder. 10-20
- Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and OptimizationYuejun Jiang, Thomas Richards, Barry Richards. 21-39
- Global Consistency for Continuous ConstraintsDjamila Haroud, Boi Faltings. 40-50
- Locally Simultaneous Constraint SatisfactionHiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa. 51-62
- Analyzing and Debugging Hierarchies of Multi-way Local Propagation ConstraintsMichael Sannella. 63-77
- Inferring 3-dimensional constraints with DEVISuresh Thennarangam, Gurminder Singh. 78-85
- Beyond Finite DomainsJoxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap. 86-94
- QUAD-CLP(R): Adding the Power of Quadratic ConstraintsGilles Pesant, Michel Boyer. 95-108
- Applications in Constraint Logic Programming with StringsArcot Rajasekar. 109-122
- Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming SystemManuel V. Hermenegildo. 123-133
- Encapsulated Search and Constraint Programming in OzChristian Schulte, Gert Smolka, Jörg Würtz. 134-150
- Towards a Concurrent Semantics based Analysis of CC and CLPUgo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo. 151-161
- CC Programs with both In- and Non-determinism: A Concurrent SemanticsUgo Montanari, Francesca Rossi, Vijay A. Saraswat. 162-172
- Efficient and Complete Tests for Database Integrity Constraint CheckingAshish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom. 173-180
- Linear vs Polynomial Constraints in Database Query LanguagesFoto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper. 181-192
- Foundations of Aggregation ConstraintsKenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan. 193-204
- Constraint-Generating DependenciesMarianne Baudinet, Jan Chomicki, Pierre Wolper. 205-217
- Constraint ObjectsDivesh Srivastava, Raghu Ramakrishnan, Peter Z. Revesz. 218-228
- Specification and Verification of Constraint-Based Dynamic SystemsYing Zhang, Alan K. Mackworth. 229-242
- GSAT and Dynamic BacktrackingMatthew L. Ginsberg, David A. McAllester. 243-265
- Foundations of Indefinite Constraint DatabasesManolis Koubarakis. 266-280
- Set Constraints and Set-Based AnalysisNevin Heintze, Joxan Jaffar. 281-298
- On the Design of Constraint Satisfaction ProblemsMassimo Paltrinieri. 299-311
- Experiences with Constraint-based Array Dependence AnalysisWilliam Pugh, David Wonnacott. 312-325
- Set Constraints: Results, Applications, and Future DirectionsAlexander Aiken. 326-335
- Logic-Based Methods for OptimizationJohn N. Hooker. 336-349
- Panel Session: Commercial Applications of Constraint ProgrammingDavid Kurlander, Jean-Francois Puget, Jeff Heisserman. 350-360