Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.

Luca Pulina, Armando Tacchella

Browse the full LPAR paper archive.