People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Friedrich Slivovsky
Recent Publications
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
2024
Improved Circuit Minimization with Exact Synthesis
2024
Circuit Minimization with QBF-Based Exact Synthesis
2023
Sum-of-Products with Default Values: Algorithms and Complexity Results
2022
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth
2020
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
2020
Short Q-Resolution Proofs with Homomorphisms
2020
Combining Resolution-Path Dependencies with Dependency Learning
2019
Dependency Learning for QBF
2019
Long-Distance Q-Resolution with Dependency Schemes
2019
Proof Complexity of Fragments of Long-Distance Q-resolution
2019
Polynomial-Time Validation of QCDCL Certificates
2018
Meta-Kernelization with Structural Parameters
2016
Computing Resolution-Path Dependencies in Linear Time
2012
Cite
×