Chair of Computer Architecture

University of Freiburg

SAT’23 Test-of-Time Award

Our SAT’04 Resolve and Expand paper laid the ground for expansion based QBF solvers:

Armin Biere. Resolve and Expand.
In Proc. 7th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'04),
Lecture Notes in Computer Science, vol. 3542,
Springer 2005.
[ paper | bibtex | doi | quantor | award ]

It was awarded the test-of-time award at SAT’23.