Quantified Boolean Formulas (QBF) are a promising formalism for a wide range of reasoning tasks.
In this talk, we review state-of-the-art techniques for solving QBFs including preprocessing and certificates.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung
Forschungs-