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

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

Theoretical computer science, 2018-04, Vol.719, p.46-63 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível