EasyChair Smart Slide
Classes of Hard Formulas for QBF Resolution
Classes of Hard Formulas for QBF Resolution