Conferences in DBLP

WCLP - Workshop on Constraint Logic Programming (wclp)
1991 (conf/wclp/91)

1. Georges Blanc, Noëlle Bleuzen-Guernalec
   Constraints in Rational Abstract Models. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:5-16 [Conf]
   
2. Jim Cox, Ken McAloon
   Decision Procedures for Constraint Based Extensions of Datalog. [Citation Graph (3, 0)][DBLP]
   WCLP, 1991, pp:17-32 [Conf]
   
3. Jean-Louis Lassez, Ken McAloon
   A Constraint Sequent Calculus. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:33-43 [Conf]
   
4. Jean-Louis Imbert, Pascal Van Hentenryck
   On the Handling of Disequations in CLP over Linear Rational Arithmetic. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:49-71 [Conf]
   
5. Jean-Louis Lassez, Tien Huynh, Ken McAloon
   Simplification and Elimination of Redundant Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:73-87 [Conf]
   
6. Alain Colmerauer
   Naive Solving of Non-linear Constraints. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:89-112 [Conf]
   
7. Joachim Hollman, Lars Langemyr
   Algorithms for Non-linear Constraints. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:113-131 [Conf]
   
8. Hoon Hong
   RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:133-159 [Conf]
   
9. Shinichi Sato, Akira Aiba
   An Application of CAL to Robotics. [Citation Graph (0, 0)][DBLP]
   WCLP, 1991, pp:161-173 [Conf]
   
10. William J. Older, André Vellino
    Constraint Arithmetic on Real Intervals. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:175-195 [Conf]
    
11. Ugo Montanari, Francesca Rossi
    Finite Domain Constraint Solving and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:201-221 [Conf]
    
12. Jean-Luc Massat
    Using Local Consistency Techniques to Solve Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:223-235 [Conf]
    
13. Antoine Rauzy
    Using Enumerative Methods for Boolean Unification. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:237-251 [Conf]
    
14. Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba
    A Study on Boolean Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:253-267 [Conf]
    
15. Helmut Simonis, Mehmet Dincbas
    Propositional Calculus Problems in CHIP. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:269-285 [Conf]
    
16. Pascal Van Hentenryck, Yves Deville
    The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:283-403 [Conf]
    
17. Alfonso San Miguel Aguirre
    How to Use Symmetries in Boolean Constraint Solving. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:287-306 [Conf]
    
18. Frédéric Benhamou
    Boolean Algorithms in Prolog III. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:307-325 [Conf]
    
19. Alexander Bockmayr
    Logic Programming with Pseudo-Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:327-350 [Conf]
    
20. Timothy J. Hickey
    Functional Constraints in CLP Languages. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:355-381 [Conf]
    
21. Gert Smolka
    Residuation and Guarded Rules for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:405-419 [Conf]
    
22. Abderrahmane Aggoun, Nicolas Beldiceanu
    Overview of the CHIP Compiler System. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:421-435 [Conf]
    
23. Philippe Codognet, François Fages, Thierry Sola
    A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:437-456 [Conf]
    
24. Jacques Cohen, Pascal Koiran, Catherine Perrin
    Meta-Level Interpretation of CLP(Lists). [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:457-481 [Conf]