Validation of QBF Encodings with Winning Strategies.

Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol

Browse the full SAT paper archive.