QBFFam: A Tool for Generating QBF Families from Proof Complexity.

Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla

Browse the full SAT paper archive.