Scalable Certificate Extraction for QBF


Date
May 22, 2012 12:25 PM — 12:55 PM
Location
Passau, Germany
Mathias Preiner
Research Scientist