Comparing Different Prenexing Strategies for Quantified Boolean Formulas. - Uwe Egly; Martina Seidl; Hans Tompits; Stefan Woltran; Michael Zolda (SAT, 2003)

A Solver for QBFs in Nonprenex Form. - Uwe Egly; Martina Seidl; Stefan Woltran (ECAI, 2006)

ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (JELIA, 2006)

A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (WLP, 2006)

A solver for quantified Boolean formulas in negation normal form. - Martina Seidl (2007)

Matching Metamodels with Semantic Systems - An Experience Report. - Gerti Kappel; Horst Kargl; Gerhard Kramler; Andrea Schauerhuber; Martina Seidl; Michael Strommer; Manuel Wimmer (BTW Workshops, 2007)

Ein Beweiser für quantifizierte Boolsche Formeln in Negationsnormalform [A Solver for Quantified Boolean Formulas in Negation Normal Form]. - Martina Seidl (Ausgezeichnete Informatikdissertationen, 2007)

Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (INAP/WLP, 2007)

We can work it out: Collaborative Conflict Resolution in Model Versioning. - Petra Brosch; Martina Seidl; Konrad Wieland; Manuel Wimmer (ECSCW, 2009)

Towards end-user adaptable model versioning: The By-Example Operation Recorder. - Petra Brosch; Philip Langer; Martina Seidl; Manuel Wimmer (CVSM@ICSE, 2009)

ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (LPNMR, 2009)

An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example. - Petra Brosch; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer; Gerti Kappel; Werner Retschitzegger; Wieland Schwinger (MoDELS, 2009)

By-example adaptation of the generic model versioning system AMOR: how to include language-specific features for improving the check-in process. - Petra Brosch; Martina Seidl; Konrad Wieland; Manuel Wimmer; Philip Langer (OOPSLA Companion, 2009)

The operation recorder: specifying model refactorings by-example. - Petra Brosch; Martina Seidl; Konrad Wieland; Manuel Wimmer; Philip Langer (OOPSLA Companion, 2009)

On Realizing a Framework for Self-tuning Mappings. - Manuel Wimmer; Martina Seidl; Petra Brosch; Horst Kargl; Gerti Kappel (TOOLS (47), 2009)

A solver for QBFs in negation normal form. - Uwe Egly; Martina Seidl; Stefan Woltran (Constraints An Int. J., 2009)

SmartMatcher: Improving Automatically Generated Transformations. - Horst Kargl; Manuel Wimmer; Martina Seidl; Gerti Kappel (Datenbank-Spektrum, 2009)

A survey on model versioning approaches. - Kerstin Altmanninger; Martina Seidl; Manuel Wimmer (Int. J. Web Inf. Syst., 2009)

Concurrent Modeling in Early Phases of the Software Development Life Cycle. - Petra Brosch; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer; Gerti Kappel (CRIWG, 2010)

Colex: a web-based collaborative conflict lexicon. - Petra Brosch; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer (IWMCP@ICMT, 2010)

Adaptable Model Versioning in Action. - Petra Brosch; Gerti Kappel; Martina Seidl; Konrad Wieland; Manuel Wimmer; Horst Kargl; Philip Langer (Modellierung, 2010)

Conflicts as First-Class Entities: A UML Profile for Model Versioning. - Petra Brosch; Horst Kargl; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer; Gerti Kappel (MoDELS (Workshops), 2010)

Software Modeling in Education: The 6th Educators' Symposium at MODELS 2010. - Martina Seidl; Peter J. Clarke (MoDELS (Workshops), 2010)

A recommender for conflict resolution support in optimistic model versioning. - Petra Brosch; Martina Seidl; Gerti Kappel (SPLASH/OOPSLA Companion, 2010)

Guiding modelers through conflict resolution: a recommender for model versioning. - Petra Brosch; Martina Seidl; Konrad Wieland (SPLASH/OOPSLA Companion, 2010)

Preface. - Martina Seidl; Peter J. Clarke (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Blocked Clause Elimination for QBF. - Armin Biere; Florian Lonsing; Martina Seidl (CADE, 2011)

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. - Johannes Oetsch; Jörg Pührer; Martina Seidl; Hans Tompits; Patrick Zwickl (LPNMR, 2011)

Towards Semantics-Aware Merge Support in Optimistic Model Versioning. - Petra Brosch; Uwe Egly; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl; Hans Tompits; Magdalena Widl; Manuel Wimmer (MoDELS (Workshops), 2011)

Software modeling in education. - Martina Seidl; Peter J. Clarke (Comput. Sci. Educ., 2011)

Position Paper: Software Modeling Education. - Martina Seidl; Peter J. Clarke (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Towards an Understanding of Requirements for Model Versioning Support. - Konrad Wieland; Geraldine Fitzpatrick; Gerti Kappel; Martina Seidl; Manuel Wimmer (Int. J. People Oriented Program., 2011)

UML @ Classroom - Eine Einführung in die objektorientierte Modellierung. - Martina Seidl; Marion Brandsteidl; Christian Huemer; Gerti Kappel (dpunkt.verlag, 2012)

qbf2epr: A Tool for Generating EPR Formulas from QBF. - Martina Seidl; Florian Lonsing; Armin Biere (PAAR@IJCAR, 2012)

Replacing traditional classroom lectures with lecture videos: an experience report. - Marion Brandsteidl; Tanja Mayerhofer; Martina Seidl; Christian Huemer (EduSym@MoDELS, 2012)

Resolution-Based Certificate Extraction for QBF - (Tool Presentation). - Aina Niemetz; Mathias Preiner; Florian Lonsing; Martina Seidl; Armin Biere (SAT, 2012)

An Introduction to Model Versioning. - Petra Brosch; Gerti Kappel; Philip Langer; Martina Seidl; Konrad Wieland; Manuel Wimmer (SFM, 2012)

Guided Merging of Sequence Diagrams. - Magdalena Widl; Armin Biere; Petra Brosch; Uwe Egly; Marijn Heule; Gerti Kappel; Martina Seidl; Hans Tompits (SLE, 2012)

Towards Scenario-Based Testing of UML Diagrams. - Petra Brosch; Uwe Egly; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl; Hans Tompits; Magdalena Widl; Manuel Wimmer (TAP@TOOLS, 2012)

A Framework for the Specification of Random SAT and QSAT Formulas. - Nadia Creignou; Uwe Egly; Martina Seidl (TAP@TOOLS, 2012)

Conflict Visualization for Evolving UML Models. - Petra Brosch; Martina Seidl; Manuel Wimmer; Gerti Kappel (J. Object Technol., 2012)

On formalizing EMF modeling operations with graph transformations. - Petra Brosch; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl (ACM SIGSOFT Softw. Eng. Notes, 2012)

Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. - Petra Brosch; Philip Langer; Martina Seidl; Manuel Wimmer; Gerti Kappel (Softwaretechnik-Trends, 2012)

Bridging the gap between dual propagation and CNF-based QBF solving. - Alexandra Goultiaeva; Martina Seidl; Armin Biere (DATE, 2013)

Modbat: A Model-Based API Tester for Event-Driven Systems. - Cyrille Valentin Artho; Armin Biere; Masami Hagiya; Eric Platon; Martina Seidl; Yoshinori Tanabe; Mitsuharu Yamamoto (Haifa Verification Conference, 2013)

OCL meets CTL: Towards CTL-Extended OCL Model Checking. - Robert Bill; Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl (OCL@MoDELS, 2013)

Research Questions for Validation and Verification in the Context of Model-Based Engineering. - Catherine Dubois; Michalis Famelis; Martin Gogolla; Leonel Nóbrega; Ileana Ober; Martina Seidl; Markus Völter (MoDeVVa@MoDELS, 2013)

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (MoDeVVa@MoDELS, 2013)

Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling. - Marion Scholz; Petra Kaufmann; Martina Seidl (EduSymp@MoDELS, 2013)

Model-Based Testing for Verification Back-Ends. - Cyrille Artho; Armin Biere; Martina Seidl (TAP@STAF, 2013)

Turning Conflicts into Collaboration. - Konrad Wieland; Philip Langer; Martina Seidl; Manuel Wimmer; Gerti Kappel (Comput. Support. Cooperative Work., 2013)

A posteriori operation detection in evolving software models. - Philip Langer; Manuel Wimmer; Petra Brosch; Markus Herrmannsdörfer; Martina Seidl; Konrad Wieland; Gerti Kappel (J. Syst. Softw., 2013)

Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams. - Petra Brosch; Martina Seidl; Magdalena Widl (Softwaretechnik-Trends, 2013)

A Unified Proof System for QBF Preprocessing. - Marijn Heule; Martina Seidl; Armin Biere (IJCAR, 2014)

Partial witnesses from preprocessed quantified Boolean formulas. - Martina Seidl; Robert Könighofer (DATE, 2014)

Efficient extraction of Skolem functions from QRAT proofs. - Marijn Heule; Martina Seidl; Armin Biere (FMCAD, 2014)

MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. - Charles Jordan; Lukasz Kaiser; Florian Lonsing; Martina Seidl (SAT, 2014)

Model Checking of CTL-Extended OCL Specifications. - Robert Bill; Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl (SLE, 2014)

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (SLE, 2014)

MocOCL: A Model Checker for CTL-Extended OCL Specifications. - Sebastian Gabmeyer; Robert Bill; Petra Kaufmann; Martina Seidl (VOLT@STAF, 2014)

SAT-Based Synthesis Methods for Safety Specs. - Roderick Bloem; Robert Könighofer; Martina Seidl (VMCAI, 2014)

The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. - Mikolas Janota; Charles Jordan; Will Klieber; Florian Lonsing; Martina Seidl; Allen Van Gelder (J. Satisf. Boolean Model. Comput., 2014)

Model-Based Testing of Stateful APIs with Modbat. - Cyrille Artho; Martina Seidl; Quentin Gros; Eun-Hye Choi; Takashi Kitamura 001; Akira Mori; Rudolf Ramler; Yoriyuki Yamagata (ASE, 2015)

Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. - Florian Lonsing; Fahiem Bacchus; Armin Biere; Uwe Egly; Martina Seidl (LPAR, 2015)

UML@Classroom: An Introduction to Object-Oriented Modeling. - Martina Seidl (EduSymp@MoDELS, 2015)

Blocked Literals Are Universal. - Marijn Heule; Martina Seidl; Armin Biere (NFM, 2015)

Intra- and interdiagram consistency checking of behavioral multiview models. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (Comput. Lang. Syst. Struct., 2015)

The Second Reactive Synthesis Competition (SYNTCOMP 2015). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker (SYNT, 2015)

Clause Elimination for SAT and QSAT. - Marijn Heule; Matti Järvisalo; Florian Lonsing; Martina Seidl; Armin Biere (J. Artif. Intell. Res., 2015)

UML @ Classroom - An Introduction to Object-Oriented Modeling - Martina Seidl; Marion Scholz; Christian Huemer; Gerti Kappel (Springer, 2015)

Non-CNF QBF Solving with QCIR. - Charles Jordan; Will Klieber; Martina Seidl (AAAI Workshop: Beyond NP, 2016)

Super-Blocked Clauses. - Benjamin Kiesl; Martina Seidl; Hans Tompits; Armin Biere (IJCAR, 2016)

Q-Resolution with Generalized Axioms. - Florian Lonsing; Uwe Egly; Martina Seidl (SAT, 2016)

A Duality-Aware Calculus for Quantified Boolean Formulas. - Katalin Fazekas; Martina Seidl; Armin Biere (SYNASC, 2016)

Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. - Sebastian Gabmeyer; Martina Seidl (TAP@STAF, 2016)

The QBF Gallery: Behind the scenes. - Florian Lonsing; Martina Seidl; Allen Van Gelder (Artif. Intell., 2016)

Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications. - Roderick Bloem; Uwe Egly; Patrick Klampfl; Robert Könighofer; Florian Lonsing; Martina Seidl (CoRR, 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

PRuning Through Satisfaction. - Marijn J. H. Heule; Benjamin Kiesl; Martina Seidl; Armin Biere (Haifa Verification Conference, 2017)

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? - Benjamin Kiesl; Martina Seidl; Hans Tompits; Armin Biere (IJCAI, 2017)

Blocked Clauses in First-Order Logic. - Benjamin Kiesl; Martin Suda 001; Martina Seidl; Hans Tompits; Armin Biere (LPAR, 2017)

A Little Blocked Literal Goes a Long Way. - Benjamin Kiesl; Marijn J. H. Heule; Martina Seidl (SAT, 2017)

Skolem Function Continuation for Quantified Boolean Formulas. - Katalin Fazekas; Marijn J. H. Heule; Martina Seidl; Armin Biere (TAP@STAF, 2017)

Solution Validation and Extraction for QBF Preprocessing. - Marijn J. H. Heule; Martina Seidl; Armin Biere (J. Autom. Reason., 2017)

The first reactive synthesis competition (SYNTCOMP 2014). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Rüdiger Ehlers; Timotheus Hell; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

Parallel Solving of Quantified Boolean Formulas. - Florian Lonsing; Martina Seidl (Handbook of Parallel Constraint Reasoning, 2018)

Expansion-Based QBF Solving Without Recursion. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (FMCAD, 2018)

Symmetries of Quantified Boolean Formulas. - Manuel Kauers; Martina Seidl (SAT, 2018)

Short proofs for some symmetric Quantified Boolean Formulas. - Manuel Kauers; Martina Seidl (Inf. Process. Lett., 2018)

Local Redundancy in SAT: Generalizations of Blocked Clauses. - Benjamin Kiesl; Martina Seidl; Hans Tompits; Armin Biere (Log. Methods Comput. Sci., 2018)

A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. - Emily Yu; Martina Seidl; Armin Biere (FTSCS, 2019)

A Survey on Applications of Quantified Boolean Formulas. - Ankit Shukla 003; Armin Biere; Luca Pulina; Martina Seidl (ICTAI, 2019)

Local Search for Fast Matrix Multiplication. - Marijn J. H. Heule; Manuel Kauers; Martina Seidl (SAT, 2019)

QRAT Polynomially Simulates ∀ text -Exp+Res. - Benjamin Kiesl; Martina Seidl (SAT, 2019)

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17). - Luca Pulina; Martina Seidl (Artif. Intell., 2019)

A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications. - Marijn Heule; Manuel Kauers; Martina Seidl (ACM Commun. Comput. Algebra, 2019)

On the maximal minimal cube lengths in distinct DNF tautologies. - Manuel Kauers; Martina Seidl; Doron Zeilberger (CoRR, 2019)

New ways to multiply 3 x 3-matrices. - Marijn J. H. Heule; Manuel Kauers; Martina Seidl (CoRR, 2019)

Notes from the Guest Editors. - Luca Pulina; Martina Seidl (J. Satisf. Boolean Model. Comput., 2019)

A feature-based classification of formal verification techniques for software models. - Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl; Martin Gogolla; Gerti Kappel (Softw. Syst. Model., 2019)

Computational Logic in the First Semester of Computer Science: An Experience Report. - David M. Cerna; Martina Seidl; Wolfgang Schreiner; Wolfgang Windsteiger; Armin Biere (CSEDU (2), 2020)

Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. - David M. Cerna; Martina Seidl; Wolfgang Schreiner; Wolfgang Windsteiger; Armin Biere (ITiCSE, 2020)

QBFFam: A Tool for Generating QBF Families from Proof Complexity. - Olaf Beyersdorff; Luca Pulina; Martina Seidl; Ankit Shukla 003 (SAT, 2021)

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (Formal Methods Syst. Des., 2021)

New ways to multiply 3 × 3-matrices. - Marijn J. H. Heule; Manuel Kauers; Martina Seidl (J. Symb. Comput., 2021)

Beyond Uniform Equivalence between Answer-set Programs. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (ACM Trans. Comput. Log., 2021)

Quantified Boolean Formulas. - Olaf Beyersdorff; Mikolás Janota; Florian Lonsing; Martina Seidl (Handbook of Satisfiability, 2021)

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. - Ankit Shukla 003; Sibylle Möhle; Manuel Kauers; Martina Seidl (CICM, 2022)

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers. - Maximilian Heisinger; Martina Seidl; Armin Biere (PAAR@IJCAR, 2022)

FERPModels: A Certification Framework for Expansion-Based QBF Solving. - Vedad Hadzic; Roderick Bloem; Ankit Shukla 003; Martina Seidl (SYNASC, 2022)

What's New In QBF Solving? : (Invited Talk). - Martina Seidl (SYNASC, 2022)

Artifact for Paper ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. - Maximilian Heisinger; Martina Seidl; Armin Biere (Zenodo, 2022)

Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (Short Paper). - Andreas Plank; Sibylle Möhle; Martina Seidl (CP, 2023)

True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. - Simone Heisinger; Martina Seidl (CICM, 2023)

Never Trust Your Solver: Certification for SAT and QBF. - Martina Seidl (CICM, 2023)

QMusExt: A Minimal (Un)satisfiable Core Extractor for Quantified Boolean Formulas. - Andreas Plank; Martina Seidl (SAT, 2023)

Validation of QBF Encodings with Winning Strategies. - Irfansha Shaik; Maximilian Heisinger; Martina Seidl; Jaco van de Pol (SAT, 2023)

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. - Maximilian Heisinger; Martina Seidl; Armin Biere (TACAS (1), 2023)

Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (CoRR, 2023)

Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving. - Maximilian Heisinger; Irfansha Shaik; Martina Seidl; Jaco van de Pol (Zenodo, 2023)

PyQBF: A Python Framework for Solving Quantified Boolean Formulas. - Mark Peyrer; Maximilian Heisinger; Martina Seidl (IFM, 2024)

A Top-Down Tree Model Counter for Quantified Boolean Formulas. - Florent Capelli; Jean-Marie Lagniez; Andreas Plank; Martina Seidl (IJCAI, 2024)

Quantifier Shifting for Quantified Boolean Formulas Revisited. - Simone Heisinger; Maximilian Heisinger; Adrian Rebola-Pardo; Martina Seidl (IJCAR (1), 2024)

Booleguru, the Propositional Polyglot (Short Paper). - Maximilian Heisinger; Simone Heisinger; Martina Seidl (IJCAR (1), 2024)

Models and Counter-Models of Quantified Boolean Formulas (Invited Talk). - Martina Seidl (SAT, 2024)

From Decision Models To User-Guiding Configurators Using SMT. - Maximilian Heisinger; Florian Piminger; Martina Seidl (VaMoS, 2024)

Symmetries of Dependency Quantified Boolean Formulas. - Clemens Hofstadler; Manuel Kauers; Martina Seidl (CoRR, 2024)

SAT and Interactions (Dagstuhl Seminar 24421). - Olaf Beyersdorff; Laura Kovács; Meena Mahajan; Martina Seidl; Kaspar Kasche (Dagstuhl Reports, 2024)

Counting QBF solutions at level two. - Andreas Plank; Sibylle Möhle; Martina Seidl (Constraints An Int. J., 2024)

Refined Notions of QBF Equivalences. - Peter Pfeiffer; Daniel Große; Martina Seidl (JELIA (2), 2025)

Refinement-Based Enumeration of QBF Solutions. - Andreas Plank; Clemens Hofstadler; Maximilian Heisinger; Martina Seidl (JELIA (2), 2025)

Solution Counts of Some Prominent Quantified Boolean Formulas Families. - Andreas Plank; Martina Seidl; Manuel Kauers (SAC, 2025)

FERAT: A New Expansion-Based Certification Framework for Quantified Boolean Formulas. - Marcel Simader; Adrian Rebola-Pardo; Martina Seidl (SAC, 2025)

QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms. - Mark Peyrer; Martina Seidl (SAT, 2025)

(Semantic) Feature Model Differences with (Q)SAT. - Simone Heisinger; Maximilian Heisinger; Martina Seidl (SLE, 2025)