Seidl, Martina

3 publications

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

IJCAI 2017 Blockedness in Propositional Logic: Are You Satisfied with Your Neighborhood? Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

JAIR 2015 Clause Elimination for SAT and QSAT Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere