New Resolution-Based QBF Calculi and Their Proof Complexity.

Olaf Beyersdorff Leroy Chew Mikolás Janota

Published in: ACM Trans. Comput. Theory (2019)

Keyphrases

sequent calculi
computational complexity
space complexity
high resolution
worst case
computational cost
automatic theorem proving
decision problems