Login / Signup
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution.
Olaf Beyersdorff
Joshua Blinkhorn
Meena Mahajan
Tomás Peitl
Published in:
ACM Trans. Comput. Log. (2023)
Keyphrases
</>
lower bound
upper bound
worst case
computational complexity
np hard
objective function
optimal solution
branch and bound algorithm
running times
low resolution
branch and bound
max sat
aspect ratio
fixed parameter tractable