Martina Seidl

2 papers · 2017–2024 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (10) ❓ The Questioner

Conferences

IJCAI (2)

Top co-authors

Florent Capelli (1) Andreas Plank (1) Benjamin Kiesl (1) Armin Biere (1) Jean-Marie Lagniez (1) Hans Tompits (1)

Keywords

tree models (1) propositional logic (1) sat solving (1) quantified boolean formula (1) model counting (1) branching heuristic (1) clause elimination (1) local redundancy (1)

Papers

A Top-Down Tree Model Counter for Quantified Boolean Formulas IJCAI 2024

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI 2017