The PhD student seminars are intended to be informal and relaxed without the "polish" of the official seminars. The seminars can discuss for example recent results (your own or from an article) or survey some interesting topic. The intended audience is primarily PhD students, but everyone is welcome. Contact Stephan Gocht if you want to give a seminar or receive email announcements about upcoming seminars.
More information about practical details are available in Swedish. There is also a page with previous seminars.
See also the page with the TCS groups official seminars.
24 May 2018 at 13:15 in 1625
Introduction to CDCL SAT Solving
This informal seminar gives an introduction to conflict driven clause learning (CDCL) SAT solvers. In order to provide the required background, it contains a short introduction of SAT and CNF notation, earlier approaches to SAT solving and proof systems (which are used to prove formula unsatisfiability).
In addition to CDCL solvers in general, commonly used techniques and heuristics are covered. These include clause minimization, restarts, deletion of learned clauses, unique implication points (UIPs) and literals blocks distance (LBD).