Solution Counts of Some Prominent Quantified Boolean Formulas Families.

Andreas Plank, Martina Seidl, Manuel Kauers

Browse the full SAC paper archive.