Building Strategies into QBF Proofs

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan. Building Strategies into QBF Proofs. In Rolf Niedermeier, Christophe Paul, editors, 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13-16, 2019, Berlin, Germany. Volume 126 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Abstract

Abstract is missing.