default search action
1. PPCP 1993: Newport, Rhode Island
- Principles and Practice of Constraint Programming, PPCP 1993, Newport, Rhode Island. 1993
- Hassan Aït-Kaci, Andreas Podelski:
Entailment and Disentailment of Order-Sorted Feature Constraints. PPCP 1993: 1-6 - Alexander Brodsky, Catherine Lassez:
Separability of Polyhedra and a New Approach to Spatial Storage (Extended Abstract). PPCP 1993: 7-11 - Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama:
Constraint Optimization using Preference Logics: A New Role for Modal Logic. PPCP 1993: 12-21 - Isabel F. Cruz:
Using a Visual Constraint Language for Data Display Specification. PPCP 1993: 22-33 - Stéphane Donikian, Gérard Hégron:
Constraint Management in a Declarative Design Method for 3D Scene Sketch Modeling. PPCP 1993: 34-43 - Thomas Dubé, Chee-Keng Yap:
The Geometry in Constraint Logic Programs. PPCP 1993: 44-50 - François Fages:
On the Semantics of Optimization Predicates in CLP languages. PPCP 1993: 51-59 - Tim Fernando:
A higher-order extension of constraint programming in disourse analysis. PPCP 1993: 60-69 - Eugene C. Freuder, Paul D. Hubbe:
A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction. PPCP 1993: 70-79 - Thom W. Frühwirth, Philipp Hanschke:
Terminological Reasoning with Constraint Handling Rules. PPCP 1993: 80-89 - Hong Gao, David Scott Warren:
A Powerful Evaluation Strategy For CLP Programs. PPCP 1993: 90-97 - Michael Gleicher:
Practical Issues in Graphical Constraints. PPCP 1993: 98-106 - 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). PPCP 1993: 107-116 - Jean-Louis Imbert:
Fourier's Elimination: Which to Choose? PPCP 1993: 117-129 - Mark Johnson:
Memoization in Constraint Logic Programming. PPCP 1993: 130-138 - Simon Kasif, Arthur L. Delcher:
Local Consistency in Parallel Constraint-Satisfaction Networks. PPCP 1993: 139-145 - Walid T. Kerrouz, Glenn A. Kramer, Jahir Pabon:
Exploiting Constraint Dependency Information For Debugging and Explanation. PPCP 1993: 146-155 - Claude Kirchner, Hélène Kirchner, Marian Vittek:
Implementing Computational Systems with Constraints. PPCP 1993: 156-165 - Gabriel M. Kuper:
Aggregation in Constraint Databases. PPCP 1993: 166-173 - François Major, Marcel Turcotte, Guy Lapalme:
Constraint Satisfaction in Functional Programming. PPCP 1993: 174-177 - Ken McAloon, Carol Tretkoff:
2lp: Linear Programming and Logic Programming. PPCP 1993: 178-189 - Francisco Menezes, Pedro Barahona, Philippe Codognet:
An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199 - Scott Meyers, Carolyn K. Duby, Steven P. Reiss:
Constraining the Structure and Style of Object-Oriented Programs. PPCP 1993: 200-209 - Spiro Michaylov, Frank Pfenning:
Higher-Order Logic Programming as Constraint Logic Programming. PPCP 1993: 210-218 - Ugo Montanari, Francesca Rossi:
Constraint Satisfaction, Constraint Programming, and Concurrency. PPCP 1993: 219-227 - William J. Older, Frédéric Benhamou:
Programming in CLP(BNR). PPCP 1993: 228-238 - Dinesh K. Pai:
Robot Programming and Constraints. PPCP 1993: 239-246 - William C. Rounds, Guo-Qiang Zhang:
Constraints in Nonmonotonic Reasoning. PPCP 1993: 247-257 - Michael Sannella:
The SkyBlue Constraint Solver and Its Applications. PPCP 1993: 258-268 - Tony Savor, Paul P. Dasiewicz:
A Real-Time Extension to Logic Programming Based on the Concurrent Constraint Logic Programming Paradigm. PPCP 1993: 269-277 - Douglas R. Smith:
Synthesis of Constraint Algorithms. PPCP 1993: 278-283 - Terence R. Smith, Keith K. Park:
Constraint-Based Languages for Scientific Database and Modeling Systems. PPCP 1993: 284-288 - Allen C. Ward:
Set-based Concurrent Engineering. PPCP 1993: 289-292 - Ying Zhang, Alan K. Mackworth:
Constraint Programming in Constraint Nets. PPCP 1993: 293-302 - Richard Zippel:
A Constraint Based Scientific Programming Language. PPCP 1993: 303-307
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 2024-12-19 22:18 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: