Improved upper bounds for 3-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kazuo Iwama, Suguru Tamaki. Improved upper bounds for 3-SAT. In J. Ian Munro, editor, Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004. pages 328, SIAM, 2004. [doi]

This author has not been identified. Look up 'Kazuo Iwama' in GoogleThis author has not been identified. Look up 'Suguru Tamaki' in Google

runs on WebDSL