On Unification of QBF Resolution-Based Calculi - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Olaf Beyersdorff, Leroy Chew, Mikolas Janota. On Unification of QBF Resolution-Based Calculi. In Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik, editors, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II. Volume 8635 of Lecture Notes in Computer Science, pages 81-93, Springer, 2014. [doi]

The following publications are possibly variants of this publication:

On Unification of QBF Resolution-Based CalculiMikolas Janota, Leroy Chew, Olaf Beyersdorff. eccc, 21:36, 2014. [doi]

Lifting QBF Resolution Calculi to DQBFOlaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda 0001. sat 2016: 490-499 [doi]

Feasible Interpolation for QBF Resolution CalculiOlaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. icalp 2015: 180-192 [doi]

Feasible Interpolation for QBF Resolution CalculiOlaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. lmcs, 13(2), 2017. [doi]

Feasible Interpolation for QBF Resolution CalculiOlaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. eccc, 22:59, 2015. [doi]

Lifting QBF Resolution Calculi to DQBFOlaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda 0001. eccc, 23:48, 2016. [doi]

Proof Complexity of Resolution-based QBF CalculiOlaf Beyersdorff, Leroy Chew, Mikolás Janota. STACS 2015: 76-89 [doi]

Proof Complexity of Resolution-based QBF CalculiOlaf Beyersdorff, Leroy Chew, Mikolas Janota. eccc, 21:120, 2014. [doi]

New Resolution-Based QBF Calculi and Their Proof ComplexityOlaf Beyersdorff, Leroy Chew, Mikolás Janota. toct, 11(4), 2019. [doi]

runs on WebDSL