Cameron Brien

According to our database, Cameron Brien authored at least 2 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.

Yinlei Yu, Cameron Brien, Sharad Malik

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

2006

Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis.

Cameron Brien, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006