The following pages link to Martina Seidl (Q286395):
Displaying 29 items.
- The QBF Gallery: behind the scenes (Q286397) (← links)
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Symmetries of quantified Boolean formulas (Q1656578) (← links)
- A little blocked literal goes a long way (Q1680260) (← links)
- Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
- Short proofs for some symmetric quantified Boolean formulas (Q1799597) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- Local search for fast matrix multiplication (Q2181927) (← links)
- QRAT polynomially simulates \(\forall\)-Exp+Res (Q2181931) (← links)
- New ways to multiply \(3 \times 3\)-matrices (Q2229749) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- SAT-Based Synthesis Methods for Safety Specs (Q2938057) (← links)
- Clause Elimination for SAT and QSAT (Q2941732) (← links)
- MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (Q3192089) (← links)
- A Unified Proof System for QBF Preprocessing (Q3192183) (← links)
- Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination (Q3460072) (← links)
- (Q4553279) (← links)
- Blocked Clauses in First-Order Logic (Q4645725) (← links)
- A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications (Q5060832) (← links)
- Skolem Function Continuation for Quantified Boolean Formulas (Q5086224) (← links)
- Blocked Clause Elimination for QBF (Q5200018) (← links)
- On the maximal minimal cube lengths in distinct DNF tautologies (Q5210575) (← links)
- Theory and Applications of Satisfiability Testing (Q5325863) (← links)
- QMusExt: A minimal (un)satisfiable core extractor for quantified Boolean formulas (Q6643099) (← links)
- Validation of QBF encodings with winning strategies (Q6643107) (← links)
