Circuit Size Lower Bounds and #SAT Upper Bounds Through a General Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Golovnev, Alexander S. Kulikov, Alexander V. Smal, Suguru Tamaki. Circuit Size Lower Bounds and #SAT Upper Bounds Through a General Framework. In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, editors, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland. Volume 58 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

This author has not been identified. Look up 'Alexander Golovnev' in GoogleThis author has not been identified. Look up 'Alexander S. Kulikov' in GoogleThis author has not been identified. Look up 'Alexander V. Smal' in GoogleThis author has not been identified. Look up 'Suguru Tamaki' in Google

runs on WebDSL