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.