QBFFam: a tool for generating QBF families from proof complexity
scientific article; zbMATH DE number 7495563
scientific article