Statistics
Publications
34
Citations
1K
H-Index
20
Active since
2006
Martina Seidl is an author at Johannes Kepler University of Linz specializing in computing, computer science, and boolean algebra.
Publications per year
2006–2020
34
34
Clause Elimination for SAT and QSAT
Marijn J. H. Heule, Matti Järvisalo, Florian Lonsing et al. · Journal of Artificial Intelligence Research · 2015 · 69 citations · Full text
A Survey on Applications of Quantified Boolean Formulas
Ankit Shukla, Armin Biere, Luca Pulina et al. · 2019 · 53 citations
A posteriori operation detection in evolving software models
Philip Langer, Manuel Wimmer, Petra Brosch et al. · Journal of Systems and Software · 2012 · 52 citations · Full text
Matching Metamodels with Semantic Systems - An Experience Report.
Gerti Kappel, Horst Kargl, Gerhard Kramler et al. · BTW Workshops · 2007 · 38 citations
1–5 of 34