Laurent Juban

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
On the complexity of recognizing the Hilbert basis of a linear diophantine system.
Theor. Comput. Sci., 2002

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

On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Dichotomy Theorem for the Generalized Unique Satisfiability Problem.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999


  Loading...