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
Jim Cox, Ken McAloon: Decision Procedures for Constraint Based Extensions of Datalog. 17-32
Jean-Louis Lassez, Ken McAloon: A Constraint Sequent Calculus. 33-43

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

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

Timothy J. Hickey: Functional Constraints in CLP Languages. 355-381
Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. 283-403
Gert Smolka: Residuation and Guarded Rules for Constraint Logic Programming. 405-419
Abderrahmane Aggoun, Nicolas Beldiceanu: Overview of the CHIP Compiler System. 421-435 (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
Jacques Cohen, Pascal Koiran, Catherine Perrin: Meta-Level Interpretation of CLP(Lists). 457-481

Last update Thu May 24 04:46:56 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page