![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
2. 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.