Fueling the SAT Revolution

Speaker(s) Armin Biere Johannes Kepler Universität
Date 8 June 2021 – 16:30 to 17:00
Venue INI Seminar Room 1
Session Title Fueling the SAT Revolution
Chair Kim Guldstrand Larsen
Event [VSOW04] Verified software: tools and experiments

In the last century determining that a certain problem is NP-complete was often the end of the story. Either the problem was discarded as being impractical or weakened and reformulated to admit heuristic or approximative answers. With the increase in capacity of modern SAT solvers this view changed completely. Encoding a given problem into SAT and solve it by SAT solvers is now considered a practical solution. In this talk we review this change of perspective and what lead to this SAT revolution we are still witnessing today, both from the application as well as technological side.

Supported By