Circuit minimization problem, in (0)

by V Kabanets, J Cai
Venue:ACM Symposium on Theory of Computing (STOC’00), ACM