A Top-Down Tree Model Counter for Quantified Boolean Formulas.

Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl

Browse the full IJCAI paper archive.