Login / Signup

Hardness Characterisations and Size-width Lower Bounds for QBF Resolution.

Olaf BeyersdorffJoshua BlinkhornMeena MahajanTomás Peitl
Published in: ACM Trans. Comput. Log. (2023)
Keyphrases