Prefix title Titel (vorangestellt)
Univ.Ass. Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Slivovsky, Friedrich

Results 1-20 of 25 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Slivovsky, Friedrich ; Szeider, Stefan ; Lonsing, Florian ; Seidl, Martina Variable Dependencies and Q-ResolutionKonferenzbeitrag Inproceedings 2013
2Slivovsky Friedrich - 2015 - Structure in SAT and QBF.pdf.jpgSlivovsky, Friedrich Structure in #SAT and QBFThesis Hochschulschrift 2015
3Shukla, Ankit ; Slivovsky, Friedrich ; Szeider, Stefan Short Q-Resolution Proofs with HomomorphismsKonferenzbeitrag Inproceedings 2020
4Mengel, Stefan ; Slivovsky, Friedrich Proof Complexity of Symbolic QBF ReasoningKonferenzbeitrag Inproceedings 2021
5Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Proof Complexity of Fragments of Long-Distance Q-ResolutionKonferenzbeitrag Inproceedings 2019
6Hoos, Holger H. ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Portfolio-Based Algorithm Selection for Circuit QBFsKonferenzbeitrag Inproceedings 2018
7Peitl, Tomas ; Slivovsky, Friedrich ; Szeider, Stefan Polynomial-Time Validation of QCDCL CertificatesKonferenzbeitrag Inproceedings 2018
8Bova, Simone Maria ; Slivovsky, Friedrich On Compiling Structured CNFs to OBDDsKonferenzbeitrag Inproceedings 2015
9Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich On Compiling CNFs into Structured Deterministic DNNFsKonferenzbeitrag Inproceedings 2015
10Schlaipfer, Matthias ; Slivovsky, Friedrich ; Weissenbacher, Georg ; Zuleger, Florian Multi-linear Strategy Extraction for QBF Expansion Proofs via Local SoundnessKonferenzbeitrag Inproceedings 2020
11Slivovsky, Friedrich ; Szeider, Stefan ; Cai, Leizhen ; Cheng, Siu-Wing ; Lam, Tak-Wah Model Counting for Formulas of Bounded Clique-WidthKonferenzbeitrag Inproceedings 2013
12Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan ; Portier, Natacha ; Wilke, Thomas Model Counting for CNF Formulas of Bounded Modular TreewidthKonferenzbeitrag Inproceedings 2013
13Ganian, Robert ; Slivovsky, Friedrich ; Szeider, Stefan ; Chatterjee, Krishnendu ; Sgall, Jiri Meta-kernelization with Structural ParametersKonferenzbeitrag Inproceedings 2013
14Slivovsky, Friedrich Making it More Explicit: Brandom's Inferentialist Pragmatism and Logical Dialogue GamesPräsentation Presentation2010
15Bova, Simone Maria ; Capelli, Florent ; Mengel, Stefan ; Slivovsky, Friedrich Knowledge Compilation Meets Communication ComplexityKonferenzbeitrag Inproceedings 2016
16Slivovsky, Friedrich Interpolation-Based Semantic Gate Extraction and Its Applications to QBF PreprocessingKonferenzbeitrag Inproceedings 2020
17Ganian, Robert ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Fixed-Parameter Tractability of Dependency QBF with Structural ParametersKonferenzbeitrag Inproceedings 2020
18Slivovsky, Friedrich Dependency Schemes for Quantified Boolean FormulasPräsentation Presentation2015
19Slivovsky, Friedrich ; Szeider, Stefan Dependency Schemes and Q-resolutionKonferenzbeitrag Inproceedings 2014
20Blinkhorn, Joshua ; Peitl, Tomáš ; Slivovsky, Friedrich Davis and Putnam Meet Henkin: Solving DQBF with ResolutionKonferenzbeitrag Inproceedings 2021

Results 1-1 of 1 (Search time: 0.0 seconds).

Learning to Solve Quantified Boolean FormulasSlivovsky, Friedrich