max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Enrico Giunchiglia (DIST - Universita di Genova), State of the art in QBF reasoning, with emphasis on applications in FV

I will speak about the state-of-the-art in evaluating Quantified Boolean Formulas (QBFs), presenting the main ideas behind current algorithms, and their applicability in practical applications, in particular in Formal Verification.