How QBF Expansion Makes Strategy Extraction Hard.

Leroy Chew, Judith Clymo

Browse the full CADE paper archive.