Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frédéric Benhamou, Alain Colmerauer (eds.) |
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![MIT Press, 0-262-02353-9 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Gert Smolka |
Residuation and Guarded Rules for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 405-419, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Alain Colmerauer |
Naive Solving of Non-linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 89-112, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Hoon Hong |
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 133-159, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Alexander Bockmayr |
Logic Programming with Pseudo-Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 327-350, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Ugo Montanari, Francesca Rossi 0001 |
Finite Domain Constraint Solving and Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 201-221, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jim Cox, Ken McAloon |
Decision Procedures for Constraint Based Extensions of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 17-32, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Lassez, Tien Huynh, Ken McAloon |
Simplification and Elimination of Redundant Linear Arithmetic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 73-87, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Shinichi Sato, Akira Aiba |
An Application of CAL to Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 161-173, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Pascal Van Hentenryck, Yves Deville |
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 283-403, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Frédéric Benhamou |
Boolean Algorithms in Prolog III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 307-325, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Joachim Hollman, Lars Langemyr |
Algorithms for Non-linear Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 113-131, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Imbert, Pascal Van Hentenryck |
On the Handling of Disequations in CLP over Linear Rational Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 49-71, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Philippe Codognet, François Fages, Thierry Sola |
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 437-456, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Antoine Rauzy |
Using Enumerative Methods for Boolean Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 237-251, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Louis Lassez, Ken McAloon |
A Constraint Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 33-43, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Abderrahmane Aggoun, Nicolas Beldiceanu |
Overview of the CHIP Compiler System. (this paper is a modified version of the paper in ICLP 1991: 775-789) ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 421-435, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Timothy J. Hickey |
Functional Constraints in CLP Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 355-381, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba |
A Study on Boolean Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 253-267, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jacques Cohen, Pascal Koiran, Catherine Perrin |
Meta-Level Interpretation of CLP(Lists). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 457-481, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Alfonso San Miguel Aguirre |
How to Use Symmetries in Boolean Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 287-306, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Jean-Luc Massat |
Using Local Consistency Techniques to Solve Boolean Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 223-235, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Georges Blanc, Noëlle Bleuzen-Guernalec |
Constraints in Rational Abstract Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 5-16, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Helmut Simonis, Mehmet Dincbas |
Propositional Calculus Problems in CHIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 269-285, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | William J. Older, André Vellino |
Constraint Arithmetic on Real Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCLP ![In: Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France., pp. 175-195, 1991, MIT Press, 0-262-02353-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|