Laurent Juban

According to our database, Laurent Juban authored at least 4 papers in 1999.

Collaborative distances:

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

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 Recognizing the Hilbert Basis of a Linear Diophantine System.

Arnaud Durand, Miki Hermann, Laurent Juban

Proceedings of the Mathematical Foundations of Computer Science 1999, 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