Towards Understanding the Complexity of CAQE: A Proof-Theoretic Analysis of Its Core Procedure.

Benjamin Bhm, Olaf Beyersdorff

Browse the full SAT paper archive.