DAC’23 Most Influential 1990s Paper Award
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”.