Noga Alon Asaf Shapira Testing satisfiability. 645-654 2002 conf/soda/2002 SODA http://dl.acm.org/citation.cfm?id=545381.545467 db/conf/soda/soda2002.html#AlonS02