Armin Biere (@arminbiere) 's Twitter Profile
Armin Biere

@arminbiere

ID: 1025324704742211584

linkhttp://arminbiere.com calendar_today03-08-2018 10:17:14

523 Tweet

957 Followers

227 Following

Armin Biere (@arminbiere) 's Twitter Profile Photo
Armin Biere
@arminbiere

3 months ago

The most influential dac.com/About/DAC-Most… of 61st DAC'24 goes to the seminal DAC'01 paper "Chaff: Engineering an Efficient SAT Solver" by Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik, 2001.