author : Lintao Zhang
1
publication
Chaff: engineering an efficient SAT solver (DAC 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik Chaff: engineering an efficient SAT solver (DAC 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik