Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yinlei Yu, Cameron Brien, Sharad Malik. Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers. In 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India. pages 461-468, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Yinlei Yu' in GoogleThis author has not been identified. Look up 'Cameron Brien' in GoogleThis author has not been identified. Look up 'Sharad Malik' in Google

runs on WebDSL