Cameron Brien

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

Yinlei Yu, Cameron Brien, Sharad Malik
Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. VLSI Design (2008)
Cameron Brien, Sharad Malik
Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. FMCAD (2006)