Hard QBFs for Merge Resolution

Abstract

Full Citation:

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tom'a\vs Peitl, Gaurav Sood. Hard QBFs for Merge Resolution. ACM Trans. Comput. Theory, volume 16, number 2, pages 6:1-6:24, 2024.

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.