Yinlei Yu Cameron Brien Sharad Malik Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. 461-468 2008 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSI.2008.90 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#YuBM08