Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
S. Szeider:
"Capturing Structure in SAT and Related Problems";
Vortrag: Theoretical Foundations of SAT Solving Workshop,
Toronto, Kanada (eingeladen);
15.08.2016
- 19.08.2016.
Kurzfassung englisch:
Propositional satisfiability (SAT) and related problems (like Model Counting, QBF-SAT, and CSP) are in practise often much easier to solve than suggested by their respective theoretical worst-case complexities. This "friendliness" of the real world is often explained by the presence of some kind of "hidden structure" in practical problem instances. In this talk we will review some mathematical concepts that attempt to capture the structure in problem instances and discuss their virtues and limits. We will focus rather on general questions than on technical details.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.