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

Alexander Golovnev, Alexander S. Kulikov, Alexander Smal, Suguru Tamaki. Circuit size lower bounds and #SAT upper bounds through a general framework. Electronic Colloquium on Computational Complexity (ECCC), 23:22, 2016. [doi]

Abstract

Abstract is missing.