Conferences in DBLP

Principles and Practice of Constraint Programming (ppcp)
1993 (conf/ppcp/93)

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