Vitaly Feldman Hardness of approximate two-level logic minimization and PAC learning with membership queries. 13-26 2009 75 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2008.07.007 db/journals/jcss/jcss75.html#Feldman09