1996 |
14 | | Jean-Louis Imbert:
JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France
Hermes 1996 |
13 | | Jean-Louis Imbert,
Pascal Van Hentenryck:
Redundancy Elimination with a Lexicographic Solved Form.
Ann. Math. Artif. Intell. 17(1-2): 85-106 (1996) |
1994 |
12 | | Jean-Louis Imbert:
Linear Constraint Solving in CLP-Languages
Constraint Programming 1994: 108-127 |
11 | | Jean-Louis Imbert:
Redondances, élimination de variables et diséquations linéaires.
JFPLC 1994: 143-158 |
10 | | Jean-Louis Imbert:
Redundancy, Variable Elimination and Linear Disequations.
SLP 1994: 139-153 |
1993 |
9 | | Jean-Louis Imbert:
Variable Elimination for Generalized Linear Constraints.
ICLP 1993: 499-516 |
8 | | Jean-Louis Imbert:
Élimination de Fourier: que choisir?
JFPL 1993: 273-294 |
7 | | Jean-Louis Imbert:
Élimination de variables dans les systèmes de contraintes linéaires.
JFPL 1993: 295-318 |
6 | | Jean-Louis Imbert:
Fourier's Elimination: Which to Choose?
PPCP 1993: 117-129 |
5 | | Jean-Louis Imbert:
Variable Elimination for Disequations in Generalized Linear Constraint Systems.
Comput. J. 36(5): 473-484 (1993) |
4 | | Jean-Louis Imbert,
Jacques Cohen,
Marie-Dominique Weeger:
An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP.
J. Log. Program. 16(3): 235-253 (1993) |
1991 |
3 | | Jean-Louis Imbert,
Pascal Van Hentenryck:
A propos des redondances dans les systèmes d'inéquations linéaires.
JTASPEFT/WSA 1991: 210-216 |
2 | | Jean-Louis Imbert,
Pascal Van Hentenryck:
On the Handling of Disequations in CLP over Linear Rational Arithmetic.
WCLP 1991: 49-71 |
1990 |
1 | | Jean-Louis Imbert:
About Redundant Inequalities Generated by Fourier's Algorithm.
AIMSA 1990: 117-127 |