Gate elimination: Circuit size lower bounds and #SAT upper bounds

Golovnev, A; Kulikov, AS; Smal, AV; Tamaki, S

Smal, AV (reprint author), Russian Acad Sci, Steklov Inst Math, St Petersburg Dept, St Petersburg, Russia.

THEORETICAL COMPUTER SCIENCE, 2018; 719 (): 46