Concepedia

Friedrich Slivovsky

FS

Statistics

Publications

9

Citations

216

H-Index

9

Active since

2013

Affiliations

TU Wien(Current)

Durham University

Friedrich Slivovsky is an author at TU Wien specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityData ScienceMachine LearningProof ComplexityFormal VerificationDiscrete Mathematics

Publications per year

2013–2021

9

Publications

9

Meta-kernelization with structural parameters

Robert Ganian, Friedrich Slivovsky, Stefan Szeider · Journal of Computer and System Sciences · 2015 · 42 citations

Machine Learning, Reproducing Kernel Method, Structural Parameters +4

Knowledge Compilation Meets Communication Complexity

Simone Bova, Florent Capelli, Stefan Mengel et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2016 · 36 citations

Computational Logic, Distributed Knowledge, Knowledge Representation +15

Soundness of Q-resolution with dependency schemes

Friedrich Slivovsky, Stefan Szeider · Theoretical Computer Science · 2015 · 33 citations

Quantum Science, Engineering, Sound Quality +7

Dependency Learning for QBF

Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider · Journal of Artificial Intelligence Research · 2019 · 26 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Model Counting for CNF Formulas of Bounded Modular Treewidth

Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider · Algorithmica · 2015 · 23 citations · Full text

Engineering, Model Counting, Computational Complexity +3

Rows per page

1–5 of 9