Jean-Louis Imbert

16 papers B 1Misc 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2001 J jnl
Introduction a l'algorithmique: les fichiers.
Bull. dInformatique Approfondie et Appl.
Jean-Louis Imbert
2001 J jnl
Introduction a l'algorithmique: notions de bases et tableaux.
Bull. dInformatique Approfondie et Appl.
Jean-Louis Imbert
1996 — ed.
JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France
JFPLC
Jean-Louis Imbert
1996 J jnl
Redundancy Elimination with a Lexicographic Solved Form.
Ann. Math. Artif. Intell.
Jean-Louis Imbert, Pascal Van Hentenryck
1994 — conf
Linear Constraint Solving in CLP-Languages
Constraint Programming
Jean-Louis Imbert
1994 — conf
Redondances, élimination de variables et diséquations linéaires.
JFPLC
Jean-Louis Imbert
1994 — conf
Redundancy, Variable Elimination and Linear Disequations.
ILPS
Jean-Louis Imbert
1993 J jnl
An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP.
J. Log. Program.
Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger
1993 — conf
Fourier's Elimination: Which to Choose?
PPCP
Jean-Louis Imbert
1993 J jnl
Variable Elimination for Disequations in Generalized Linear Constraint Systems.
Comput. J.
Jean-Louis Imbert
1993 B conf
Variable Elimination for Generalized Linear Constraints.
ICLP
Jean-Louis Imbert
1993 — conf
Élimination de Fourier: que choisir?
JFPL
Jean-Louis Imbert
1993 — conf
Élimination de variables dans les systèmes de contraintes linéaires.
JFPL
Jean-Louis Imbert
1991 — conf
A propos des redondances dans les systèmes d'inéquations linéaires.
JTASPEFT/WSA
Jean-Louis Imbert, Pascal Van Hentenryck
1991 — conf
On the Handling of Disequations in CLP over Linear Rational Arithmetic.
WCLP
Jean-Louis Imbert, Pascal Van Hentenryck
1990 Misc conf
About Redundant Inequalities Generated by Fourier's Algorithm.
AIMSA
Jean-Louis Imbert