Models and Counter-Models of Quantified Boolean Formulas (Invited Talk).

Martina Seidl

Browse the full SAT paper archive.