default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. PPCP 1994: Rosario, Orcas Island, Washington
- Alan Borning:
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
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
Other Topics
- Nevin Heintze, Joxan Jaffar:
Set Constraints and Set-Based Analysis. 281-298 - Massimo Paltrinieri:
On the Design of Constraint Satisfaction Problems. 299-311 - William W. Pugh, David Wonnacott:
Experiences with Constraint-based Array Dependence Analysis. 312-325 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-10 22:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
