QBF as an Alternative to Courcelle's Theorem.

Michael Lampis, Stefan Mengel, Valia Mitsou

Browse the full SAT paper archive.