1. Clause-learning algorithms with many restarts and bounded-width resolution;Atserias;J. Artif. Intell. Res.,2011
2. Unified QBF certification and its applications;Balabanov;Form. Methods Syst. Des.,2012
3. Towards understanding and harnessing the potential of clause learning;Beame;J. Artif. Intell. Res.,2004
4. Understanding the relative strength of QBF CDCL solvers and QBF resolution;Beyersdorff;Log. Methods Comput. Sci.,2023
5. Size, cost, and capacity: a semantic technique for hard random QBFs;Beyersdorff;Log. Methods Comput. Sci.,2019