Noga Alon Asaf Shapira Testing satisfiability. 87-103 2003 47 J. Algorithms 2 http://dx.doi.org/10.1016/S0196-6774(03)00019-1 db/journals/jal/jal47.html#AlonS03