WCLP 1991: Marseilles, France

Frédéric Benhamou, Alain Colmerauer (Eds.): Constraint Logic Programming, Selected Research. The MIT Press 1993, ISBN 0-262-02353-9

Theoretical Aspects

Georges Blanc, Noëlle Bleuzen-Guernalec: Constraints in Rational Abstract Models. 5-16 BibTeX
Jim Cox, Ken McAloon: Decision Procedures for Constraint Based Extensions of Datalog. 17-32 BibTeX
Jean-Louis Lassez, Ken McAloon: A Constraint Sequent Calculus. 33-43 BibTeX

Jean-Louis Imbert, Pascal Van Hentenryck: On the Handling of Disequations in CLP over Linear Rational Arithmetic. 49-71 BibTeX
Jean-Louis Lassez, Tien Huynh, Ken McAloon: Simplification and Elimination of Redundant Linear Arithmetic Constraints. 73-87 BibTeX
Alain Colmerauer: Naive Solving of Non-linear Constraints. 89-112 BibTeX
Joachim Hollman, Lars Langemyr: Algorithms for Non-linear Constraints. 113-131 BibTeX
Hoon Hong: RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals. 133-159 BibTeX
Shinichi Sato, Akira Aiba: An Application of CAL to Robotics. 161-173 BibTeX
William J. Older, André Vellino: Constraint Arithmetic on Real Intervals. 175-195 BibTeX

Ugo Montanari, Francesca Rossi: Finite Domain Constraint Solving and Constraint Logic Programming. 201-221 BibTeX
Jean-Luc Massat: Using Local Consistency Techniques to Solve Boolean Constraints. 223-235 BibTeX
Antoine Rauzy: Using Enumerative Methods for Boolean Unification. 237-251 BibTeX
Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba: A Study on Boolean Constraint Solvers. 253-267 BibTeX
Helmut Simonis, Mehmet Dincbas: Propositional Calculus Problems in CHIP. 269-285 BibTeX
Alfonso San Miguel Aguirre: How to Use Symmetries in Boolean Constraint Solving. 287-306 BibTeX
Frédéric Benhamou: Boolean Algorithms in Prolog III. 307-325 BibTeX
Alexander Bockmayr: Logic Programming with Pseudo-Boolean Constraints. 327-350 BibTeX

Timothy J. Hickey: Functional Constraints in CLP Languages. 355-381 BibTeX
Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. 283-403 BibTeX
Gert Smolka: Residuation and Guarded Rules for Constraint Logic Programming. 405-419 BibTeX
Abderrahmane Aggoun, Nicolas Beldiceanu: Overview of the CHIP Compiler System. 421-435 BibTeX (this paper is a modified version of the paper in ICLP 1991: 775-789)
Philippe Codognet, François Fages, Thierry Sola: A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. 437-456 BibTeX
Jacques Cohen, Pascal Koiran, Catherine Perrin: Meta-Level Interpretation of CLP(Lists). 457-481 BibTeX