Laurent Juban - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2002

On the complexity of recognizing the Hilbert basis of a linear diophantine systemArnaud Durand, Miki Hermann, Laurent Juban. TCS, 270(1-2):625-642, 2002. [doi]

1999

On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine SystemArnaud Durand, Miki Hermann, Laurent Juban. mfcs 1999: 92-102

On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine SystemMiki Hermann, Laurent Juban, Phokion G. Kolaitis. lpar 1999: 13-32

Dichotomy Theorem for the Generalized Unique Satisfiability ProblemLaurent Juban. fct 1999: 327-337 [doi]

Sur les problèmes de complexité en déduction automatique : base de Hilbert, modèles uniques et minimauxLaurent Juban. PhD thesis, Henri Poincaré University, Nancy, France, 1999. [doi]

Sign in or sign up to see more results.

runs on WebDSL