Simone Bova

Identifiers

• name variant Simone Bova 0.60 · backfill

Papers (9)

1. Circuit Treewidth, Sentential Decision, and Query Compilation cs.LO · 2017 · author #1
2. SDDs are Exponentially More Succinct than OBDDs cs.LO · 2016 · author #1
3. On Compiling Structured CNFs to OBDDs cs.LO · 2014 · author #1
4. A Strongly Exponential Separation of DNNFs from CNF Formulas cs.CC · 2014 · author #1
5. Quantified Conjunctive Queries on Partially Ordered Sets cs.LO · 2014 · author #1
6. Model Checking Existential Logic on Partially Ordered Sets cs.LO · 2014 · author #1
7. Unification and Projectivity in De Morgan and Kleene Algebras math.LO · 2014 · author #1
8. Generic Expression Hardness Results for Primitive Positive Formula Comparison cs.LO · 2012 · author #1
9. k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices cs.LO · 2008 · author #1

Mentions

• 1411.5494 #1 · backfill · confidence 0.70 Simone Bova
• 1411.1995 #1 · backfill · confidence 0.70 Simone Bova
• 1408.4263 #1 · backfill · confidence 0.70 Simone Bova
• 1405.2891 #1 · backfill · confidence 0.70 Simone Bova
• 1401.3576 #1 · backfill · confidence 0.70 Simone Bova
• 1205.5745 #1 · backfill · confidence 0.70 Simone Bova
• 0805.3261 #1 · backfill · confidence 0.70 Simone Bova

Frequent Coauthors

• Stefan Szeider 3 shared papers
• Friedrich Slivovsky 2 shared papers
• Robert Ganian 2 shared papers
• Florent Capelli 1 shared papers
• Hubie Chen 1 shared papers
• Leonardo Cabrer 1 shared papers
• Matthew Valeriote 1 shared papers
• Stefan Mengel 1 shared papers