Friedrich Slivovsky

Identifiers

• name variant Friedrich Slivovsky 0.60 · backfill

Papers (5)

1. On Compiling Structured CNFs to OBDDs cs.LO · 2014 · author #2
2. A Strongly Exponential Separation of DNNFs from CNF Formulas cs.CC · 2014 · author #4
3. Model Counting for Formulas of Bounded Clique-Width cs.CC · 2014 · author #1
4. Meta-Kernelization with Structural Parameters cs.DS · 2013 · author #2
5. Computing Resolution-Path Dependencies in Linear Time cs.DS · 2012 · author #1

Mentions

• 1202.3097 #1 · backfill · confidence 0.70 Friedrich Slivovsky

Frequent Coauthors

• Stefan Szeider 3 shared papers
• Simone Bova 2 shared papers
• Florent Capelli 1 shared papers
• Robert Ganian 1 shared papers
• Stefan Mengel 1 shared papers