Martina Seidl

Identifiers

• name variant Martina Seidl 0.60 · backfill

Papers (12)

1. The QBF Gallery 2023 cs.LO · 2026 · author #3
2. New ways to multiply 3 x 3-matrices cs.SC · 2019 · author #3
3. On the maximal minimal cube lengths in distinct DNF tautologies math.CO · 2019 · author #2
4. Expansion-Based QBF Solving Without Recursion cs.LO · 2018 · author #6
5. Short Proofs for Some Symmetric Quantified Boolean Formulas cs.LO · 2018 · author #2
6. Symmetries of Quantified Boolean Formulas cs.LO · 2018 · author #2
7. Blocked Clauses in First-Order Logic cs.LO · 2017 · author #3
8. Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications cs.LO · 2016 · author #6
9. Q-Resolution with Generalized Axioms cs.LO · 2016 · author #3
10. The QBF Gallery: Behind the Scenes cs.LO · 2015 · author #2
11. The First Reactive Synthesis Competition (SYNTCOMP 2014) cs.LO · 2015 · author #11
12. SAT-Based Synthesis Methods for Safety Specs cs.LO · 2013 · author #3

Mentions

• 1508.01045 #2 · backfill · confidence 0.70 Martina Seidl
• 1506.08726 #11 · backfill · confidence 0.70 Martina Seidl
• 1311.3530 #3 · backfill · confidence 0.70 Martina Seidl

Frequent Coauthors

• Florian Lonsing 4 shared papers
• Manuel Kauers 4 shared papers
• Roderick Bloem 4 shared papers
• Uwe Egly 3 shared papers
• Robert K\"onighofer 2 shared papers
• Adam Walker 1 shared papers
• Allen Van Gelder 1 shared papers
• Armin Biere 1 shared papers
• Benjamin Kiesl 1 shared papers
• Doron Zeilberger 1 shared papers
• Guillermo A. P\'erez 1 shared papers
• Hans Tompits 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Leander Tentrup 1 shared papers
• Leonid Ryzhyk 1 shared papers
• Luca Pulina 1 shared papers
• Marijn J.H. Heule 1 shared papers
• Martin Suda 1 shared papers
• Nicolas Braud-Santoni 1 shared papers
• Ocan Sankur 1 shared papers