People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
L2solve
Circuit Minimization with QBF-Based Exact Synthesis
Franz-Xaver Reichl
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
Project
Project
Project
DOI
Towards Uniform Certification in QBF
Leroy Chew and Friedrich Slivovsky
PDF
Cite
Project
DOI
Certified DQBF Solving by Definition Extraction
Stefan Szeider
PDF
Cite
Project
DOI
Davis and Putnam Meet Henkin: Solving DQBF with Resolution
Tomas Peitl
PDF
Cite
Project
DOI
Engineering an Efficient Boolean Functional Synthesis Engine
Priyanka Golia and Friedrich Slivovsky and Subhajit Roy and Kuldeep S. Meel
PDF
Cite
Project
DOI
Proof Complexity of Symbolic QBF Reasoning
Stefan Mengel and Friedrich Slivovsky
PDF
Cite
Project
DOI
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
Project
Project
Project
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters
Robert Ganian
PDF
Cite
Project
Project
Project
Project
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
Friedrich Slivovsky
Cite
Project
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
Matthias Schlaipfer and Friedrich Slivovsky and Georg Weissenbacher and Florian Zuleger
Cite
Project
»
Cite
×