On Conflicts and Strategies in QBF.

Nikolaj S. Bjrner, Mikols Janota, William Klieber

Browse the full LPAR paper archive.