Jean-Louis Imbert
According to our database1,
Jean-Louis Imbert
authored at least 15 papers
between 1990 and 2001.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2001
Bull. dInformatique Approfondie et Appl., 2001
Bull. dInformatique Approfondie et Appl., 2001
1996
Ann. Math. Artif. Intell., 1996
1994
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
Redundancy, Variable Elimination and Linear Disequations.
Proceedings of the Logic Programming, 1994
Redondances, élimination de variables et diséquations linéaires.
Proceedings of the JFPLC'94, 1994
1993
An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP.
J. Log. Program., 1993
Comput. J., 1993
Fourier's Elimination: Which to Choose?
Proceedings of the Principles and Practice of Constraint Programming, 1993
Élimination de variables dans les systèmes de contraintes linéaires.
Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993
Élimination de Fourier: que choisir?
Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993
Variable Elimination for Generalized Linear Constraints.
Proceedings of the Logic Programming, 1993
1991
On the Handling of Disequations in CLP over Linear Rational Arithmetic.
Proceedings of the Constraint Logic Programming, 1991
A propos des redondances dans les systèmes d'inéquations linéaires.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
1990
About Redundant Inequalities Generated by Fourier's Algorithm.
Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990