( en | de | ru )

 

Disambiguation of "Slivovsky, Friedrich"

Author of the publication

copydeleteadd this publication to your clipboard
Dependency Learning for QBF.

, , and . J. Artif. Intell. Res., (2019)

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)

Wolfgang Friedrich

Friedrich Stetter

 

Other publications of authors with the same name

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