Alfonso San Miguel Aguirre Moshe Y. Vardi Random 3-SAT and BDDs: The Plot Thickens Further. 121-136 2001 conf/cp/2001 CP http://link.springer.de/link/service/series/0558/bibs/2239/22390121.htm db/conf/cp/cp2001.html#AguirreV01