Name Card

Full name Familienname, Vorname
Seidl, Martina
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 104 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021
2Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
3Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina ; Gogolla, Martin ; Kappel, Gerti A Feature-Based Classification of Formal Verification Techniques for Software ModelsArtikel Article 2019
4Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Local Redundancy in SAT: Generalizations of Blocked ClausesArtikel Article 2018
5Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Expansion-Based QBF Solving Without RecursionKonferenzbeitrag Inproceedings 2018
6Lonsing, Florian ; Seidl, Martina Parallel Solving of Quantified Boolean FormulasBuchbeitrag Book Contribution2018
7Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
8Kiesl, Benjamin ; Heule, Marijn J. H. ; Seidl, Martina A Little Blocked Literal Goes a Long WayKonferenzbeitrag Inproceedings 2017
9Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?Konferenzbeitrag Inproceedings 2017
10Kiesl Benjamin - 2017 - Blocked Clauses in First-Order Logic.pdf.jpgKiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Blocked Clauses in First-Order LogicInproceedings Konferenzbeitrag 2017
11Kiesl Benjamin - 2016 - Super-Blocked Clauses.pdf.jpgKiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin Super-Blocked ClausesInproceedings Konferenzbeitrag 2016
12Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
13Biere, Armin ; Kiesl, Benjamin ; Seidl, Martina ; Suda, Martin Blocked clauses in first-order logicPräsentation Presentation2016
14Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery: Behind the ScenesArtikel Article 2016
15Janota, Mikolás ; Jordan, Charles ; Klieber, Will ; Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery 2014: The QBF Competition at the FLoC Olympic GamesArtikel Article 2016
16Seidl, Martina ; Scholz, Marion ; Huemer, Christian ; Kappel, Gerti UML@Classroom: An Introduction to Object-Oriented ModelingBuch Book2015
17Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
18Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
19Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin Clause Elimination for SAT and QSATArtikel Article 2015
20Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina Model Checking of CTL-Extended OCL SpecificationsKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Charwat, Günther ; Woltran, Stefan Dynamic Programming-based QBF SolvingKonferenzbeitrag Inproceedings 2016
2Lonsing, Florian ; Seidl, Martina Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)Konferenzband Proceedings 2016
3Gabmeyer Sebastian - 2015 - New model checking techniques for software systems...pdf.jpgGabmeyer, Sebastian New model checking techniques for software systems modeled with graphs and graph transformationsThesis Hochschulschrift 2015
4Gabmeyer, Sebastian Quality Assurance in MBE Back and ForthKonferenzbeitrag Inproceedings 2014
5Seidl, Martina ; Tillmann, Nikolai Tests and ProofsKonferenzband Proceedings2014
6Egly, Uwe ; Widl, Magdalena Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
7Slivovsky, Friedrich ; Szeider, Stefan Variable Dependencies and Q-ResolutionKonferenzbeitrag Inproceedings 2013
8Tragatschnig, Simon Ein Ansatz zur Auflösung von Konflikten bei der Versionierung von ModellenThesis Hochschulschrift2009
9Langer Philip - 2009 - Konflikterkennung in der Modellversionierung.pdf.jpgLanger, Philip Konflikterkennung in der ModellversionierungThesis Hochschulschrift 2009