The following pages link to Florian Lonsing (Q286394):
Displayed 24 items.
- The QBF Gallery: behind the scenes (Q286397) (← links)
- \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property (Q1799077) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- QRATPre+: effective QBF preprocessing via strong redundancy properties (Q2181932) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← links)
- DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL (Q2405263) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325) (← links)
- Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving (Q2870136) (← links)
- Incremental QBF Solving by DepQBF (Q2879140) (← links)
- Clause Elimination for SAT and QSAT (Q2941732) (← links)
- Failed Literal Detection for QBF (Q3007688) (← links)
- MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (Q3192089) (← links)
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (Q3453224) (← links)
- Automated Benchmarking of Incremental SAT and QBF Solvers (Q3460052) (← links)
- Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination (Q3460072) (← links)
- Nenofex: Expanding NNF for QBF Solving (Q3502708) (← links)
- A Compact Representation for Syntactic Dependencies in QBFs (Q3637175) (← links)
- Automated Testing and Debugging of SAT and QBF Solvers (Q4930578) (← links)
- Integrating Dependency Schemes in Search-Based QBF Solvers (Q4930586) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)
- Blocked Clause Elimination for QBF (Q5200018) (← links)
- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (Q5326456) (← links)