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

Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere

Browse the full SAT paper archive.