EasyChair Smart Slide
Tractability results for structured quantified CNF-formulas via knowledge compilation
Tractability results for structured quantified CNF-formulas via knowledge compilation