Satisfiability Testing -- Recent Developments and Open Problems

Talk by Norbert Manthey

Location: APB room 3027
Start: 16. June 2022 at 11:00 am
End: 16. June 2022 at 12:00 pm
Event series: Research Seminar Logic and AI
iCal

With the introduction of clause learning in 1996,

satisfiability testing (SAT) solvers have become effective to replace other state-of-the-art algorithm in applications. Shortly after, efficient data structures and heuristics have been introduced, boosting the performance of these solvers further. Recent developments shift SAT solvers towards anytime algorithms, to attempt to find a good average solving time for a wide range of input problems. Consequently, SAT solvers have become the core tool to solve many industrial applications. However, there are still limitations, and open research questions that would allow to make SAT solving even more effective. This presentation will shed some light on various past and recent developments, as well as point out current known limitations as well as open research questions.

The talk is Hybird, with a 20 person maximum capacity in the seminar room APB 3027

Online link: https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n

PDF