The Riis Complexity Gap for QBF Resolution

Open Webpage

Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin

Published: 01 Jan 2024, Last Modified: 12 May 2025J. Satisf. Boolean Model. Comput. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0