Matthew W. Moskewicz University of California, Berkeley / Cadence
Conor F. Madigan Kateeva, Inc.
Ying Zhao Wuxi Venture Capital Group
Lintao Zhang Microsoft Research Asia
Sharad Malik Princeton Univ.
Sponsored by the IEEE Council on EDA and the ACM Special Interest Group on Design Automation. For seminal contributions to scalable Boolean satisfiability solving including locality-based search and efficient backtracking. Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik “Chaff: Engineering an Efficient SAT Solver,” Proc. Of the 38th annual Design Automation Conference, pp. 530 – 535, June 2001.