Florent Capelli
Identifiers
- name variant Florent Capelli 0.60 · backfill
Papers (12)
- A canonical generalization of OBDD cs.AI · 2026 · author #1
- Knowledge compilation languages as proof systems cs.CC · 2019 · author #1
- Solving linear programs on factorized databases cs.DB · 2019 · author #1
- Counting Minimal Transversals of $\beta$-Acyclic Hypergraphs cs.DS · 2018 · author #2
- Knowledge Compilation, Width and Quantification cs.CC · 2018 · author #1
- Non-FPT lower bounds for structural restrictions of decision DNNF cs.AI · 2017 · author #2
- On The Complexity of Enumeration cs.CC · 2017 · author #1
- Understanding the complexity of #SAT using knowledge compilation cs.CC · 2017 · author #1
- A Strongly Exponential Separation of DNNFs from CNF Formulas cs.CC · 2014 · author #2
- Understanding model counting for $\beta$-acyclic CNF-formulas cs.CC · 2014 · author #2
- Hypergraph Acyclicity and Propositional Model Counting cs.CC · 2014 · author #1
- The arithmetic complexity of tensor contractions cs.CC · 2012 · author #1
Mentions
Frequent Coauthors
- Stefan Mengel 6 shared papers
- Arnaud Durand 2 shared papers
- Andrea Cal\`i 1 shared papers
- Benjamin Bergougnoux 1 shared papers
- Friedrich Slivovsky 1 shared papers
- Guy Van den Broeck 1 shared papers
- Igor Razgon 1 shared papers
- Jan Ramon 1 shared papers
- Joachim Niehren 1 shared papers
- Johann Brault-Baron 1 shared papers
- Mamadou Moustapha Kant\'e 1 shared papers
- Mart\'in Mu\~noz 1 shared papers
- Nicolas Crosetti 1 shared papers
- Simone Bova 1 shared papers
- Yann Strozecki 1 shared papers
- YooJung Choi 1 shared papers