Martina Seidl

Available identifiers

zbMath Open seidl.martinaMaRDI QIDQ286395

List of research outcomes

Publication	Date of Publication	Type
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
Local search for fast matrix multiplication	2020-05-20	Paper
QRAT polynomially simulates \(\forall\)-Exp+Res	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
Super-Blocked Clauses	2016-09-05	Paper
Q-Resolution with Generalized Axioms	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martina Seidl