Some Talks of General Interest
- Torsten Schaub. From SAT to ASP and back!? SAT’16. (Slides)
- Torsten Schaub. Answer Set Programming in a Nutshell. CSPSAT’15. (Slides)
- Torsten Schaub. Pocket calculators for hard combinatorial search and optimization problems. LPNMR/ADT’15. (Slides)
- Selected talks on Potassco systems can be found here.