People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
QBF
Sum-of-Products with Default Values: Algorithms and Complexity Results
Robert Ganian
,
Eun Jung Kim
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
Project
Project
Combining Resolution-Path Dependencies with Dependency Learning
Tomas Peitl
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
DOI
Long-Distance Q-Resolution with Dependency Schemes
Tomas Peitl
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
DOI
Proof Complexity of Fragments of Long-Distance Q-resolution
Tomas Peitl
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
DOI
Polynomial-Time Validation of QCDCL Certificates
Tomas Peitl
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
DOI
Portfolio-Based Algorithm Selection for Circuit QBFs
Hoos, Holger H.
,
Tomas Peitl
,
Slivovsky, Friedrich
,
Stefan Szeider
PDF
Cite
DOI
Cite
×