On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miki Hermann, Laurent Juban, Phokion G. Kolaitis. On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. In Harald Ganzinger, David A. McAllester, Andrei Voronkov, editors, Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings. Volume 1705 of Lecture Notes in Computer Science, pages 13-32, Springer, 1999.

This author has not been identified. Look up 'Miki Hermann' in GoogleThis author has not been identified. Look up 'Laurent Juban' in GoogleThis author has not been identified. Look up 'Phokion G. Kolaitis' in Google

runs on WebDSL