Seidl, Martina

1. Local Search for Fast Matrix Multiplication
   2019/03/27 by Heule, Marijn J. H., Kauers, Manuel, Seidl, Martina · 5 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)
2. SAT-Based Synthesis Methods for Safety Specs
   2013/11/14 by Roderick Bloem, Robert Koenighofer, Bloem, Roderick +3 · 1 citation
   Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
3. Blocked Clauses in First-Order Logic
   2017/02/02 by Kiesl, Benjamin, Suda, Martin, Seidl, Martina +2 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)