( en | de | ru )

 

Disambiguation of "Slivovsky, Friedrich"

Author of the publication

copydeleteadd this publication to your clipboard
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF.

, , , , and . LICS, page 1-14. (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Friedrich

Herbert Friedrich Friedrich

Ralf Friedrich Jeremias

CMOS-Bildsensoren mit Kurzzeitverschluß zur Tiefenerfassung nach dem Lichtlaufzeit-Meßprinzip. Uni Duisburg-Essen, (2009)

Christiane Friedrich

Friedrich Kraft

 

Other publications of authors with the same name

Proof Complexity of Fragments of Long-Distance Q-Resolution., , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 319-335. Springer, (2019)Short Q-Resolution Proofs with Homomorphisms., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 412-428. Springer, (2020)Model Counting for CNF Formulas of Bounded Modular Treewidth., , and . Algorithmica, 76 (1): 168-194 (2016)On Compiling Structured CNFs to OBDDs., and . Theory Comput. Syst., 61 (2): 637-655 (2017)Towards Uniform Certification in QBF., and . Log. Methods Comput. Sci., (2024)Polynomial-Time Validation of QCDCL Certificates., , and . SAT, volume 10929 of Lecture Notes in Computer Science, page 253-269. Springer, (2018)Computing Resolution-Path Dependencies in Linear Time , ., and . SAT, volume 7317 of Lecture Notes in Computer Science, page 58-71. Springer, (2012)On Compiling Structured CNFs to OBDDs., and . CoRR, (2014)Dependency Learning for QBF., , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 298-313. Springer, (2017)Variable Dependencies and Q-Resolution., and . SAT, volume 8561 of Lecture Notes in Computer Science, page 269-284. Springer, (2014)