Martina Seidl

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 66

Top Venues

Universität Wien (PHD)

Education History

Universität Wien

PHD

Publications

Martina Seidl
Models and Counter-Models of Quantified Boolean Formulas (Invited Talk). SAT (2024)
Simone Heisinger, Maximilian Heisinger, Adrian Rebola-Pardo, Martina Seidl
Quantifier Shifting for Quantified Boolean Formulas Revisited. IJCAR (1) (2024)
Maximilian Heisinger, Florian Piminger, Martina Seidl
From Decision Models To User-Guiding Configurators Using SMT. VaMoS (2024)
Maximilian Heisinger, Simone Heisinger, Martina Seidl
Booleguru, the Propositional Polyglot (Short Paper). IJCAR (1) (2024)
Andreas Plank, Sibylle Möhle, Martina Seidl
Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). CP (2023)
Maximilian Heisinger, Martina Seidl, Armin Biere
ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. TACAS (1) (2023)
Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol
Search-Space Pruning with Int-Splits for Faster QBF Solving. CoRR (2023)
Martina Seidl
Never Trust Your Solver: Certification for SAT and QBF. CICM (2023)
Simone Heisinger, Martina Seidl
True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. CICM (2023)
Irfansha Shaik, Maximilian Heisinger, Martina Seidl, Jaco van de Pol
Validation of QBF Encodings with Winning Strategies. SAT (2023)
Andreas Plank, Martina Seidl
QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas. SAT (2023)
Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC (2022)
Martina Seidl
What's New In QBF Solving? : (Invited Talk). SYNASC (2022)
Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM (2022)
Maximilian Heisinger, Martina Seidl, Armin Biere
QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. PAAR@IJCAR (2022)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. 57 (2) (2021)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
New ways to multiply 3 × 3-matrices. J. Symb. Comput. 104 (2021)
Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla
QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT (2021)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. 22 (1) (2021)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE (2020)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) (2020)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
Local Search for Fast Matrix Multiplication. CoRR (2019)
Emily Yu, Martina Seidl, Armin Biere
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. FTSCS (2019)
Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl
A Survey on Applications of Quantified Boolean Formulas. ICTAI (2019)
Manuel Kauers, Martina Seidl, Doron Zeilberger
On the maximal minimal cube lengths in distinct DNF tautologies. CoRR (2019)
Luca Pulina, Martina Seidl
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). Artif. Intell. 274 (2019)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
New ways to multiply 3 x 3-matrices. CoRR (2019)
Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel
A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18 (1) (2019)
Marijn J. H. Heule, Manuel Kauers, Martina Seidl
Local Search for Fast Matrix Multiplication. SAT (2019)
Luca Pulina, Martina Seidl
Notes from the Guest Editors. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Benjamin Kiesl, Martina Seidl
QRAT Polynomially Simulates ∀ \text -Exp+Res. SAT (2019)
Marijn Heule, Manuel Kauers, Martina Seidl
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. ACM Commun. Comput. Algebra 53 (3) (2019)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Local Redundancy in SAT: Generalizations of Blocked Clauses. Log. Methods Comput. Sci. 14 (4) (2018)
Manuel Kauers, Martina Seidl
Short proofs for some symmetric Quantified Boolean Formulas. Inf. Process. Lett. 140 (2018)
Manuel Kauers, Martina Seidl
Symmetries of Quantified Boolean Formulas. SAT (2018)
Manuel Kauers, Martina Seidl
Short Proofs for Some Symmetric Quantified Boolean Formulas. CoRR (2018)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. FMCAD (2018)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. CoRR (2018)
Manuel Kauers, Martina Seidl
Symmetries of Quantified Boolean Formulas. CoRR (2018)
Benjamin Kiesl, Marijn J. H. Heule, Martina Seidl
A Little Blocked Literal Goes a Long Way. SAT (2017)
Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere
PRuning Through Satisfaction. Haifa Verification Conference (2017)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Blocked Clauses in First-Order Logic. LPAR (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Benjamin Kiesl, Martin Suda, Martina Seidl, Hans Tompits, Armin Biere
Blocked Clauses in First-Order Logic. CoRR (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI (2017)
Marijn J. H. Heule, Martina Seidl, Armin Biere
Solution Validation and Extraction for QBF Preprocessing. J. Autom. Reason. 58 (1) (2017)
Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere
Skolem Function Continuation for Quantified Boolean Formulas. TAP@STAF (2017)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Local Redundancy in SAT: Generalizations of Blocked Clauses. CoRR (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Sebastian Gabmeyer, Martina Seidl
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. TAP@STAF (2016)
Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBF Gallery: Behind the scenes. Artif. Intell. 237 (2016)
Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing, Martina Seidl
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. CoRR (2016)
Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere
Super-Blocked Clauses. IJCAR (2016)
Florian Lonsing, Uwe Egly, Martina Seidl
Q-Resolution with Generalized Axioms. SAT (2016)
Florian Lonsing, Uwe Egly, Martina Seidl
Q-Resolution with Generalized Axioms. CoRR (2016)
Charles Jordan, Will Klieber, Martina Seidl
Non-CNF QBF Solving with QCIR. AAAI Workshop: Beyond NP (2016)
Katalin Fazekas, Martina Seidl, Armin Biere
A Duality-Aware Calculus for Quantified Boolean Formulas. SYNASC (2016)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Intra- and interdiagram consistency checking of behavioral multiview models. Comput. Lang. Syst. Struct. 44 (2015)
Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. LPAR (2015)
Martina Seidl
UML@Classroom: An Introduction to Object-Oriented Modeling. EduSymp@MoDELS (2015)
Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBF Gallery: Behind the Scenes. CoRR (2015)
Cyrille Artho, Martina Seidl, Quentin Gros, Eun-Hye Choi, Takashi Kitamura, Akira Mori, Rudolf Ramler, Yoriyuki Yamagata
Model-Based Testing of Stateful APIs with Modbat. ASE (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
Marijn Heule, Martina Seidl, Armin Biere
Blocked Literals Are Universal. NFM (2015)
Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere
Clause Elimination for SAT and QSAT. J. Artif. Intell. Res. 53 (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR (2015)
Marijn Heule, Martina Seidl, Armin Biere
A Unified Proof System for QBF Preprocessing. IJCAR (2014)
Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. SAT (2014)
Marijn Heule, Martina Seidl, Armin Biere
Efficient extraction of Skolem functions from QRAT proofs. FMCAD (2014)
Martina Seidl, Robert Könighofer
Partial witnesses from preprocessed quantified Boolean formulas. DATE (2014)
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
Model Checking of CTL-Extended OCL Specifications. SLE (2014)
Roderick Bloem, Robert Könighofer, Martina Seidl
SAT-Based Synthesis Methods for Safety Specs. VMCAI (2014)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. SLE (2014)
Sebastian Gabmeyer, Robert Bill, Petra Kaufmann, Martina Seidl
MocOCL: A Model Checker for CTL-Extended OCL Specifications. VOLT@STAF (2014)
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference (2013)
Alexandra Goultiaeva, Martina Seidl, Armin Biere
Bridging the gap between dual propagation and CNF-based QBF solving. DATE (2013)
Cyrille Artho, Armin Biere, Martina Seidl
Model-Based Testing for Verification Back-Ends. TAP@STAF (2013)
Philip Langer, Manuel Wimmer, Petra Brosch, Markus Herrmannsdörfer, Martina Seidl, Konrad Wieland, Gerti Kappel
A posteriori operation detection in evolving software models. J. Syst. Softw. 86 (2) (2013)
Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl
OCL meets CTL: Towards CTL-Extended OCL Model Checking. OCL@MoDELS (2013)
Marion Scholz, Petra Kaufmann, Martina Seidl
Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. EduSymp@MoDELS (2013)
Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter
Research Questions for Validation and Verification in the Context of Model-Based Engineering. MoDeVVa@MoDELS (2013)
Konrad Wieland, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel
Turning Conflicts into Collaboration. Comput. Support. Cooperative Work. 22 (2-3) (2013)
Petra Brosch, Martina Seidl, Magdalena Widl
Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. Softwaretechnik-Trends 33 (2) (2013)
Roderick Bloem, Robert Könighofer, Martina Seidl
SAT-Based Synthesis Methods for Safety Specs. CoRR (2013)
Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. MoDeVVa@MoDELS (2013)
Marion Brandsteidl, Tanja Mayerhofer, Martina Seidl, Christian Huemer
Replacing traditional classroom lectures with lecture videos: an experience report. EduSym@MoDELS (2012)
Petra Brosch, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl
On formalizing EMF modeling operations with graph transformations. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere
Resolution-Based Certificate Extraction for QBF - (Tool Presentation). SAT (2012)
Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer
An Introduction to Model Versioning. SFM (2012)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Scenario-Based Testing of UML Diagrams. TAP@TOOLS (2012)
Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits
Guided Merging of Sequence Diagrams. SLE (2012)
Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel
Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. Softwaretechnik-Trends 32 (4) (2012)
Nadia Creignou, Uwe Egly, Martina Seidl
A Framework for the Specification of Random SAT and QSAT Formulas. TAP@TOOLS (2012)
Martina Seidl, Florian Lonsing, Armin Biere
qbf2epr: A Tool for Generating EPR Formulas from QBF. PAAR@IJCAR (2012)
Petra Brosch, Martina Seidl, Manuel Wimmer, Gerti Kappel
Conflict Visualization for Evolving UML Models. J. Object Technol. 11 (3) (2012)
Armin Biere, Florian Lonsing, Martina Seidl
Blocked Clause Elimination for QBF. CADE (2011)
Martina Seidl, Peter J. Clarke
Software modeling in education. Comput. Sci. Educ. 21 (4) (2011)
Konrad Wieland, Geraldine Fitzpatrick, Gerti Kappel, Martina Seidl, Manuel Wimmer
Towards an Understanding of Requirements for Model Versioning Support. Int. J. People Oriented Program. 1 (2) (2011)
Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer
Towards Semantics-Aware Merge Support in Optimistic Model Versioning. MoDELS (Workshops) (2011)

Martina Seidl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martina Seidl