State-of-the-Art of QBF Solving

Activity: Talk or presentation › Invited talk › unknown

Description

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.
Period19 Nov 2012
Event titleDagstuhl Seminar
Event typeConference
LocationGermanyShow on map

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics