Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. - Cameron Brien; Sharad Malik (FMCAD, 2006)

Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. - Yinlei Yu; Cameron Brien; Sharad Malik (VLSI Design, 2008)