Aviad Mintz Martin Charles Golumbic Factoring Boolean functions using graph partitioning. 131-153 2005 149 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/j.dam.2005.02.007 db/journals/dam/dam149.html#MintzG05