Proof Complexity of QBF Symmetry Recomputation.

Joshua Blinkhorn Olaf Beyersdorff

Published in: SAT (2019)

Keyphrases

computational cost
space complexity
symmetry detection
worst case
conjunctive query containment
genetic algorithm
information systems
theorem proving