researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1991
1993
Filter by Tag
OR
AND
NOT
1
Datalog
Meta-Environment
Pascal
Prolog
compiler
consistency
constraints
logic
logic programming
meta-model
meta-objects
programming
rule-based
rules
Filter by Author
[+]
OR
AND
NOT
1
Abderrahmane Aggoun
Akira Aiba
Alain Colmerauer
Alexander Bockmayr
Alfonso San Miguel Aguirre
André Vellino
Antoine Rauzy
Catherine Perrin
Francesca Rossi
François Fages
Frédéric Benhamou
Georges Blanc
Gert Smolka
Helmut Simonis
Hoon Hong
Jacques Cohen
Jean-Louis Imbert
Jean-Louis Lassez
Ken McAloon
Pascal Van Hentenryck
Filter by Top terms
[+]
OR
AND
NOT
1
1991
abstract
algorithms
arithmetic
boolean
calculus
chip
clp
compiler
constraint
constraints
linear
logic
non
programming
rational
real
solving
using
wclp
WCLP (wclp)
Editions
Publications
Viewing Publication 1 - 26 from 26
1993
Constraint Logic Programming, Selected Research. WCLP 1991, Marseilles, France
Frédéric Benhamou
,
Alain Colmerauer
, editors,
MIT Press,
1993.
1991
WCLP
1991.
Overview of the CHIP Compiler System
Abderrahmane Aggoun
,
Nicolas Beldiceanu
.
wclp 1991
:
421-435
How to Use Symmetries in Boolean Constraint Solving
Alfonso San Miguel Aguirre
.
wclp 1991
:
287-306
Boolean Algorithms in Prolog III
Frédéric Benhamou
.
wclp 1991
:
307-325
Constraints in Rational Abstract Models
Georges Blanc
,
Noëlle Bleuzen-Guernalec
.
wclp 1991
:
5-16
Logic Programming with Pseudo-Boolean Constraints
Alexander Bockmayr
.
wclp 1991
:
327-350
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking
Philippe Codognet
,
François Fages
,
Thierry Sola
.
wclp 1991
:
437-456
Meta-Level Interpretation of CLP(Lists)
Jacques Cohen
,
Pascal Koiran
,
Catherine Perrin
.
wclp 1991
:
457-481
Naive Solving of Non-linear Constraints
Alain Colmerauer
.
wclp 1991
:
89-112
Decision Procedures for Constraint Based Extensions of Datalog
Jim Cox
,
Ken McAloon
.
wclp 1991
:
17-32
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming
Pascal Van Hentenryck
,
Yves Deville
.
wclp 1991
:
283-403
Functional Constraints in CLP Languages
Timothy J. Hickey
.
wclp 1991
:
355-381
Algorithms for Non-linear Constraints
Joachim Hollman
,
Lars Langemyr
.
wclp 1991
:
113-131
RISC-CLP(Real): Logic Programming with Non-linear Constraints over the Reals
Hoon Hong
.
wclp 1991
:
133-159
On the Handling of Disequations in CLP over Linear Rational Arithmetic
Jean-Louis Imbert
,
Pascal Van Hentenryck
.
wclp 1991
:
49-71
Simplification and Elimination of Redundant Linear Arithmetic Constraints
Jean-Louis Lassez
,
Tien Huynh
,
Ken McAloon
.
wclp 1991
:
73-87
A Constraint Sequent Calculus
Jean-Louis Lassez
,
Ken McAloon
.
wclp 1991
:
33-43
Using Local Consistency Techniques to Solve Boolean Constraints
Jean-Luc Massat
.
wclp 1991
:
223-235
A Study on Boolean Constraint Solvers
Satoshi Menju
,
Kô Sakai
,
Yosuke Sato
,
Akira Aiba
.
wclp 1991
:
253-267
Finite Domain Constraint Solving and Constraint Logic Programming
Ugo Montanari
,
Francesca Rossi
.
wclp 1991
:
201-221
Constraint Arithmetic on Real Intervals
William J. Older
,
André Vellino
.
wclp 1991
:
175-195
Using Enumerative Methods for Boolean Unification
Antoine Rauzy
.
wclp 1991
:
237-251
An Application of CAL to Robotics
Shinichi Sato
,
Akira Aiba
.
wclp 1991
:
161-173
Propositional Calculus Problems in CHIP
Helmut Simonis
,
Mehmet Dincbas
.
wclp 1991
:
269-285
Residuation and Guarded Rules for Constraint Logic Programming
Gert Smolka
.
wclp 1991
:
405-419
Sign in
or
sign up
to see more results.