Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nevin Heintze, Joxan Jaffar |
Set Constraints and Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 281-298, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Thennarangam, Gurminder Singh |
Inferring 3-dimensional constraints with DEVI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 78-85, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom |
Efficient and Complete Tests for Database Integrity Constraint Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 173-180, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Sabin, Eugene C. Freuder |
Contradicting Conventional Wisdom in Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 10-20, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Francesca Rossi 0001, Vijay A. Saraswat |
CC Programs with both In- and Non-determinism: A Concurrent Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 162-172, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001, Gert Smolka, Jörg Würtz |
Encapsulated Search and Constraint Programming in Oz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 134-150, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan 0001 |
Foundations of Aggregation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 193-204, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David Kurlander, Jean-Francois Puget, Jeff Heisserman |
Panel Session: Commercial Applications of Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 350-360, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Arcot Rajasekar |
Applications in Constraint Logic Programming with Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 109-122, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Matthew L. Ginsberg, David A. McAllester |
GSAT and Dynamic Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 243-265, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manuel V. Hermenegildo |
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 123-133, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | William W. Pugh, David Wonnacott |
Experiences with Constraint-based Array Dependence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 312-325, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Aiken |
Set Constraints: Results, Applications, and Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 326-335, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Paltrinieri |
On the Design of Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 299-311, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Divesh Srivastava, Raghu Ramakrishnan 0001, Peter Z. Revesz |
Constraint Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 218-228, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Djamila Haroud, Boi Faltings |
Global Consistency for Continuous Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 40-50, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap |
Beyond Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 86-94, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa |
Locally Simultaneous Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 51-62, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Pesant, Michel Boyer |
QUAD-CLP(R): Adding the Power of Quadratic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 95-108, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Montanari, Francesca Rossi 0001, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Towards a Concurrent Semantics based Analysis of CC and CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 151-161, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ying Zhang, Alan K. Mackworth |
Specification and Verification of Constraint-Based Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 229-242, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Sannella |
Analyzing and Debugging Hierarchies of Multi-way Local Propagation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 63-77, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yuejun Jiang, Thomas Richards, Barry Richards |
Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 21-39, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Logic-Based Methods for Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 336-349, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manolis Koubarakis |
Foundations of Indefinite Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 266-280, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper |
Linear vs Polynomial Constraints in Database Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 181-192, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alan Borning (eds.) |
Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![Springer, 3-540-58601-6 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
Constraint-Generating Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 205-217, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jeavons 0001, David A. Cohen, Martin C. Cooper |
A Substitution Operation for Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 1-9, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | William J. Older, Frédéric Benhamou |
Programming in CLP(BNR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 228-238, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert |
Fourier's Elimination: Which to Choose? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 117-129, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Mark Johnson 0001 |
Memoization in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 130-138, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ying Zhang, Alan K. Mackworth |
Constraint Programming in Constraint Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 293-302, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ken McAloon, Carol Tretkoff |
2lp: Linear Programming and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 178-189, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Hong Gao, David Scott Warren |
A Powerful Evaluation Strategy For CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 90-97, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | |
Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Scott Meyers, Carolyn K. Duby, Steven P. Reiss |
Constraining the Structure and Style of Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 200-209, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Simon Kasif, Arthur L. Delcher |
Local Consistency in Parallel Constraint-Satisfaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 139-145, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Thomas Dubé, Chee-Keng Yap |
The Geometry in Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 44-50, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Claude Kirchner, Hélène Kirchner, Marian Vittek |
Implementing Computational Systems with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 156-165, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Gabriel M. Kuper |
Aggregation in Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 166-173, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Francisco Menezes, Pedro Barahona, Philippe Codognet |
An Incremental Hierarchical Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 190-199, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | François Major, Marcel Turcotte, Guy Lapalme |
Constraint Satisfaction in Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 174-177, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Stéphane Donikian, Gérard Hégron |
Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 34-43, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Sannella |
The SkyBlue Constraint Solver and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 258-268, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Walid T. Kerrouz, Glenn A. Kramer, Jahir Pabon |
Exploiting Constraint Dependency Information For Debugging and Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 146-155, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Ugo Montanari, Francesca Rossi 0001 |
Constraint Satisfaction, Constraint Programming, and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 219-227, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Isabel F. Cruz |
Using a Visual Constraint Language for Data Display Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 22-33, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Michael Gleicher |
Practical Issues in Graphical Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 98-106, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Hassan Aït-Kaci, Andreas Podelski |
Entailment and Disentailment of Order-Sorted Feature Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 1-6, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Alexander Brodsky 0001, Catherine Lassez |
Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 7-11, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Seif Haridi, Sverker Janson, Johan Montelius, Torkel Franzén, Per Brand, Kent Boortz, Björn Danielsson, Björn Carlson, Torbjörn Keisu, Dan Sahlin, Thomas Sjöland |
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 107-116, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Tony Savor, Paul P. Dasiewicz |
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 269-277, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | François Fages |
On the Semantics of Optimization Predicates in CLP languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 51-59, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Richard Zippel |
A Constraint Based Scientific Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 303-307, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Tim Fernando |
A higher-order extension of constraint programming in disourse analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 60-69, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | William C. Rounds, Guo-Qiang Zhang 0001 |
Constraints in Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 247-257, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dinesh K. Pai |
Robot Programming and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 239-246, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Thom W. Frühwirth, Philipp Hanschke |
Terminological Reasoning with Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 80-89, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Terence R. Smith, Keith K. Park |
Constraint-Based Languages for Scientific Database and Modeling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 284-288, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Allen C. Ward |
Set-based Concurrent Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 289-292, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Eugene C. Freuder, Paul D. Hubbe |
A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 70-79, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama |
Constraint Optimization using Preference Logics: A New Role for Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 12-21, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Spiro Michaylov, Frank Pfenning |
Higher-Order Logic Programming as Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 210-218, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Douglas R. Smith |
Synthesis of Constraint Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island, pp. 278-283, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|