Plank, Andreas

1 publications

IJCAI 2024 A Top-Down Tree Model Counter for Quantified Boolean Formulas Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl