Circuit minimization problem (2000)

by Valentine Kabanets, Jin Yi Cai
Venue:In Proceedings of ACM STOC