Martina Seidl

Available identifiers

zbMath Open seidl.martinaMaRDI QIDQ286395

List of research outcomes

Publication	Date of Publication	Type
QMusExt: A minimal (un)satisfiable core extractor for quantified Boolean formulas	2024-11-26	Paper
Validation of QBF encodings with winning strategies	2024-11-26	Paper
Never trust your solver: certification for SAT and QBF	2024-02-28	Paper
True crafted formula families for benchmarking quantified satisfiability solvers	2024-02-28	Paper
OuterCount: a first-level solution-counter for quantified Boolean formulas	2023-06-02	Paper
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications	2023-01-11	Paper
Skolem Function Continuation for Quantified Boolean Formulas	2022-07-01	Paper
QBFFam: a tool for generating QBF families from proof complexity	2022-03-22	Paper
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations	2021-12-08	Paper
New ways to multiply \(3 \times 3\)-matrices	2021-02-18	Paper
QRAT polynomially simulates \(\forall\)-Exp+Res	2020-05-20	Paper
Local search for fast matrix multiplication	2020-05-20	Paper
On the maximal minimal cube lengths in distinct DNF tautologies	2020-01-21	Paper
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)	2019-08-28	Paper
Blocked Clauses in First-Order Logic	2019-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4553279	2018-11-02	Paper
Short proofs for some symmetric quantified Boolean formulas	2018-10-19	Paper
Symmetries of quantified Boolean formulas	2018-08-10	Paper
Intra- and interdiagram consistency checking of behavioral multiview models	2018-05-15	Paper
A little blocked literal goes a long way	2017-11-15	Paper
Solution validation and extraction for QBF preprocessing	2017-07-10	Paper
Q-Resolution with Generalized Axioms	2016-09-05	Paper
Super-Blocked Clauses	2016-09-05	Paper
The QBF Gallery: behind the scenes	2016-05-20	Paper
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination	2016-01-12	Paper
Clause Elimination for SAT and QSAT	2015-08-25	Paper
SAT-Based Synthesis Methods for Safety Specs	2015-01-13	Paper
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing	2014-09-26	Paper
A Unified Proof System for QBF Preprocessing	2014-09-26	Paper
Blocked Clause Elimination for QBF	2011-07-29	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
A solver for QBFs in negation normal form	2009-05-29	Paper

Research outcomes over time

This page was built for person: Martina Seidl