|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.