Abstract is missing.
- Constraints in Rational Abstract ModelsGeorges Blanc, Noëlle Bleuzen-Guernalec. 5-16
- Decision Procedures for Constraint Based Extensions of DatalogJim Cox, Ken McAloon. 17-32
- A Constraint Sequent CalculusJean-Louis Lassez, Ken McAloon. 33-43
- On the Handling of Disequations in CLP over Linear Rational ArithmeticJean-Louis Imbert, Pascal Van Hentenryck. 49-71
- Simplification and Elimination of Redundant Linear Arithmetic ConstraintsJean-Louis Lassez, Tien Huynh, Ken McAloon. 73-87
- Naive Solving of Non-linear ConstraintsAlain Colmerauer. 89-112
- Algorithms for Non-linear ConstraintsJoachim Hollman, Lars Langemyr. 113-131
- RISC-CLP(Real): Logic Programming with Non-linear Constraints over the RealsHoon Hong. 133-159
- An Application of CAL to RoboticsShinichi Sato, Akira Aiba. 161-173
- Constraint Arithmetic on Real IntervalsWilliam J. Older, André Vellino. 175-195
- Finite Domain Constraint Solving and Constraint Logic ProgrammingUgo Montanari, Francesca Rossi. 201-221
- Using Local Consistency Techniques to Solve Boolean ConstraintsJean-Luc Massat. 223-235
- Using Enumerative Methods for Boolean UnificationAntoine Rauzy. 237-251
- A Study on Boolean Constraint SolversSatoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba. 253-267
- Propositional Calculus Problems in CHIPHelmut Simonis, Mehmet Dincbas. 269-285
- The Cardinality Operator: A New Logical Connective for Constraint Logic ProgrammingPascal Van Hentenryck, Yves Deville. 283-403
- How to Use Symmetries in Boolean Constraint SolvingAlfonso San Miguel Aguirre. 287-306
- Boolean Algorithms in Prolog IIIFrédéric Benhamou. 307-325
- Logic Programming with Pseudo-Boolean ConstraintsAlexander Bockmayr. 327-350
- Functional Constraints in CLP LanguagesTimothy J. Hickey. 355-381
- Residuation and Guarded Rules for Constraint Logic ProgrammingGert Smolka. 405-419
- Overview of the CHIP Compiler SystemAbderrahmane Aggoun, Nicolas Beldiceanu. 421-435
- A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent BacktrackingPhilippe Codognet, François Fages, Thierry Sola. 437-456
- Meta-Level Interpretation of CLP(Lists)Jacques Cohen, Pascal Koiran, Catherine Perrin. 457-481