Martina Seidl

Full Professor, Johannes Kepler Universität Linz

Joined

July 2019

Names

Martina Seidl

Emails

****@jku.at (Confirmed)

Personal Links

Career & Education History

Full Professor

Johannes Kepler Universität Linz (jku.at)

2020 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Computational Logic

Present

Symbolic AI

Present

Publications

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
Non-CNF QBF Solving with QCIR
Charles Jordan, Will Klieber, Martina Seidl
- 2016 (modified: 16 Jul 2019)
- AAAI Workshop: Beyond NP 2016
- Readers: Everyone

Co-Authors