Circuit size lower bounds and #SAT upper bounds through a general framework

Alexander Golovnev, Alexander S. Kulikov, Alexander Smal, Suguru Tamaki

Computer Science

Research output: Book/Report › Report

Original language	American English
State	Published - 2016

Access to Document

https://eccc.weizmann.ac.il/report/2016/022

Cite this