Hard QBFs for Merge Resolution

Abstract

Full Citation:

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomáš 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.