Friedrich Slivovsky

Available identifiers

zbMath Open slivovsky.friedrichMaRDI QIDQ287385

List of research outcomes

Publication	Date of Publication	Type
Pedant: a certifying DQBF solver	2024-07-12	Paper
Quantified CDCL with universal resolution	2024-07-12	Paper
Towards uniform certification in QBF	2024-04-23	Paper
Towards Uniform Certification in QBF	2024-03-11	Paper
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF	2023-04-26	Paper
Sum-of-Products with Default Values: Algorithms and Complexity Results	2022-05-16	Paper
Proof complexity of symbolic QBF reasoning	2022-03-22	Paper
Davis and Putnam meet Henkin: solving DQBF with resolution	2022-03-22	Paper
Certified DQBF solving by definition extraction	2022-03-22	Paper
Multi-linear strategy extraction for QBF expansion proofs via local soundness	2021-04-07	Paper
Short Q-resolution proofs with homomorphisms	2021-04-07	Paper
A faster algorithm for propositional model counting parameterized by incidence treewidth	2021-04-07	Paper
Interpolation-based semantic gate extraction and its applications to QBF preprocessing	2021-02-04	Paper
Proof complexity of fragments of long-distance Q-resolution	2020-05-20	Paper
Combining resolution-path dependencies with dependency learning	2020-05-20	Paper
Dependency Learning for QBF	2019-07-12	Paper
Long-distance Q-resolution with dependency schemes	2019-05-31	Paper
Polynomial-time validation of QCDCL certificates	2018-08-10	Paper
Dependency learning for QBF	2017-11-15	Paper
On compiling structured CNFs to OBDDs	2017-10-20	Paper
Model Counting for CNF Formulas of Bounded Modular Treewidth	2017-01-30	Paper
Model counting for CNF formulas of bounded modular treewidth	2016-11-01	Paper
Long Distance Q-Resolution with Dependency Schemes	2016-09-05	Paper
Quantifier reordering for QBF	2016-05-26	Paper
Soundness of \(\mathcal{Q}\)-resolution with dependency schemes	2015-12-15	Paper
Meta-kernelization with structural parameters	2015-12-11	Paper
On Compiling CNFs into Structured Deterministic DNNFs	2015-11-20	Paper
On Compiling Structured CNFs to OBDDs	2015-10-20	Paper
Variable Dependencies and Q-Resolution	2014-09-26	Paper
Model Counting for Formulas of Bounded Clique-Width	2014-01-14	Paper
Meta-kernelization with Structural Parameters	2013-09-20	Paper
Computing Resolution-Path Dependencies in Linear Time ,	2013-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4918303	2013-04-24	Paper

Research outcomes over time

This page was built for person: Friedrich Slivovsky