Valentine Kabanets Jin-yi Cai Circuit minimization problem. 73-79 2000 STOC http://doi.acm.org/10.1145/335305.335314 db/conf/stoc/stoc2000.html#KabanetsC00