Gate elimination: circuit size lower bounds and \#SAT upper bounds
scientific article; zbMATH DE number 6848999
scientific article