Laurent Juban

According to our database, Laurent Juban authored at least 4 papers between 1999 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

On the complexity of recognizing the Hilbert basis of a linear diophantine system.

Arnaud Durand, Miki Hermann, Laurent Juban

Theor. Comput. Sci., 2002

1999

Sur les problèmes de complexité en déduction automatique : base de Hilbert, modèles uniques et minimaux.

Laurent Juban

PhD thesis, 1999

On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System.

Miki Hermann, Laurent Juban, Phokion G. Kolaitis

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Dichotomy Theorem for the Generalized Unique Satisfiability Problem.

Laurent Juban

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999