Chair of Computer Architecture

University of Freiburg

DAC’23 Most Influential 1990s Paper Award

Our DAC’99 BMC paper

Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu.
Symbolic Model Checking Using SAT Procedures instead of BDDs
In Proceedings of the 36th Conference on Design Automation,
ACM Press 1999.
[ paper | bibtex | award ]

was awarded the 1990s DAC Most Influential Paper (MIP) award at 60th DAC’23 in San Francisco and, to quote, thus was considered “A previously (between 1964 and 2000) DAC paper that has demonstrated substantial academic and/or industrial impact in one or more of DAC’s research topics at the time”.