
Conferences in DBLP
 Georges Blanc, Noëlle BleuzenGuernalec
Constraints in Rational Abstract Models. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:516 [Conf]
 Jim Cox, Ken McAloon
Decision Procedures for Constraint Based Extensions of Datalog. [Citation Graph (3, 0)][DBLP] WCLP, 1991, pp:1732 [Conf]
 JeanLouis Lassez, Ken McAloon
A Constraint Sequent Calculus. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:3343 [Conf]
 JeanLouis Imbert, Pascal Van Hentenryck
On the Handling of Disequations in CLP over Linear Rational Arithmetic. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:4971 [Conf]
 JeanLouis Lassez, Tien Huynh, Ken McAloon
Simplification and Elimination of Redundant Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:7387 [Conf]
 Alain Colmerauer
Naive Solving of Nonlinear Constraints. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:89112 [Conf]
 Joachim Hollman, Lars Langemyr
Algorithms for Nonlinear Constraints. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:113131 [Conf]
 Hoon Hong
RISCCLP(Real): Logic Programming with Nonlinear Constraints over the Reals. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:133159 [Conf]
 Shinichi Sato, Akira Aiba
An Application of CAL to Robotics. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:161173 [Conf]
 William J. Older, André Vellino
Constraint Arithmetic on Real Intervals. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:175195 [Conf]
 Ugo Montanari, Francesca Rossi
Finite Domain Constraint Solving and Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:201221 [Conf]
 JeanLuc Massat
Using Local Consistency Techniques to Solve Boolean Constraints. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:223235 [Conf]
 Antoine Rauzy
Using Enumerative Methods for Boolean Unification. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:237251 [Conf]
 Satoshi Menju, Kô Sakai, Yosuke Sato, Akira Aiba
A Study on Boolean Constraint Solvers. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:253267 [Conf]
 Helmut Simonis, Mehmet Dincbas
Propositional Calculus Problems in CHIP. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:269285 [Conf]
 Pascal Van Hentenryck, Yves Deville
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:283403 [Conf]
 Alfonso San Miguel Aguirre
How to Use Symmetries in Boolean Constraint Solving. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:287306 [Conf]
 Frédéric Benhamou
Boolean Algorithms in Prolog III. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:307325 [Conf]
 Alexander Bockmayr
Logic Programming with PseudoBoolean Constraints. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:327350 [Conf]
 Timothy J. Hickey
Functional Constraints in CLP Languages. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:355381 [Conf]
 Gert Smolka
Residuation and Guarded Rules for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:405419 [Conf]
 Abderrahmane Aggoun, Nicolas Beldiceanu
Overview of the CHIP Compiler System. [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:421435 [Conf]
 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:437456 [Conf]
 Jacques Cohen, Pascal Koiran, Catherine Perrin
MetaLevel Interpretation of CLP(Lists). [Citation Graph (0, 0)][DBLP] WCLP, 1991, pp:457481 [Conf]
