Teaching
Advanced Topics in SAT SolvingAdvanced Topics in SAT Solving
Kick-Off: November 6, 2024, 10:00 - 11:30, room 211, 50.34
If you did not participate in the kick-off but would still like to join the seminar, let us know!
Slides (with embedded hyperlinks leading to the papers)
See also: https://ae.iti.kit.edu/4775.php