Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.

Yinlei Yu, Cameron Brien, Sharad Malik

Browse the full VLSID paper archive.