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

Olaf Beyersdorff Luca Pulina Martina Seidl Ankit Shukla

Published in: SAT (2021)

Keyphrases

computational complexity
software tools
decision problems
neural network
data mining
artificial intelligence
search engine
computational cost
theorem prover