Resolution-Based Certificate Extraction for QBF - (Tool Presentation).

Aina Niemetz Mathias Preiner Florian Lonsing Martina Seidl Armin Biere

Published in: SAT (2012)

Keyphrases

multimedia
automatic extraction
database
knowledge representation
information extraction
decision procedures
quantified boolean formulas