C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
WCLP
1991
1992
1993
1991
1993
Keyphrases
Publications
1993
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France.
WCLP
(1993)
1991
Gert Smolka
Residuation and Guarded Rules for Constraint Logic Programming.
WCLP
(1991)
Alain Colmerauer
Naive Solving of Non-linear Constraints.
WCLP
(1991)
Hoon Hong
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals.
WCLP
(1991)
Alexander Bockmayr
Logic Programming with Pseudo-Boolean Constraints.
WCLP
(1991)
Ugo Montanari
,
Francesca Rossi
Finite Domain Constraint Solving and Constraint Logic Programming.
WCLP
(1991)
Jim Cox
,
Ken McAloon
Decision Procedures for Constraint Based Extensions of Datalog.
WCLP
(1991)
Jean-Louis Lassez
,
Tien Huynh
,
Ken McAloon
Simplification and Elimination of Redundant Linear Arithmetic Constraints.
WCLP
(1991)
Shinichi Sato
,
Akira Aiba
An Application of CAL to Robotics.
WCLP
(1991)
Pascal Van Hentenryck
,
Yves Deville
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.
WCLP
(1991)
Frédéric Benhamou
Boolean Algorithms in Prolog III.
WCLP
(1991)
Joachim Hollman
,
Lars Langemyr
Algorithms for Non-linear Constraints.
WCLP
(1991)
Jean-Louis Imbert
,
Pascal Van Hentenryck
On the Handling of Disequations in CLP over Linear Rational Arithmetic.
WCLP
(1991)
Philippe Codognet
,
François Fages
,
Thierry Sola
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
WCLP
(1991)
Antoine Rauzy
Using Enumerative Methods for Boolean Unification.
WCLP
(1991)
Jean-Louis Lassez
,
Ken McAloon
A Constraint Sequent Calculus.
WCLP
(1991)
Abderrahmane Aggoun
,
Nicolas Beldiceanu
Overview of the CHIP Compiler System.
WCLP
(1991)
Timothy J. Hickey
Functional Constraints in CLP Languages.
WCLP
(1991)
Satoshi Menju
,
Kô Sakai
,
Yosuke Sato
,
Akira Aiba
A Study on Boolean Constraint Solvers.
WCLP
(1991)
Jacques Cohen
,
Pascal Koiran
,
Catherine Perrin
Meta-Level Interpretation of CLP(Lists).
WCLP
(1991)
Alfonso San Miguel Aguirre
How to Use Symmetries in Boolean Constraint Solving.
WCLP
(1991)
Jean-Luc Massat
Using Local Consistency Techniques to Solve Boolean Constraints.
WCLP
(1991)
Georges Blanc
,
Noëlle Bleuzen-Guernalec
Constraints in Rational Abstract Models.
WCLP
(1991)
Helmut Simonis
,
Mehmet Dincbas
Propositional Calculus Problems in CHIP.
WCLP
(1991)
William J. Older
,
André Vellino
Constraint Arithmetic on Real Intervals.
WCLP
(1991)