Concepedia

Florent Capelli

FC

Statistics

Publications

7

Citations

110

H-Index

7

Active since

2014

Affiliations

Télécom Paris(Current)

Université de Lille

Centre de Recherche en Informatique

Birkbeck, University of London

Florent Capelli is an author at Télécom Paris specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceAutomated ReasoningKnowledge CompilationComputational ComplexityFormal MethodsProof ComplexityCircuit ComplexityProgram AnalysisSoftware Analysis

Publications per year

2014–2019

7

Publications

7

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

Expander CNFs have Exponential DNNF Size.

Simone Bova, Florent Capelli, Stefan Mengel et al. · 2014 · 15 citations

Circuit Complexity, Quantum Science, Exponential Increase +14

Incremental delay enumeration: Space and time

Florent Capelli, Yann Strozecki · Discrete Applied Mathematics · 2018 · 15 citations · Full text

Time Delay System, Engineering, Space-time Processing +5

Connecting Knowledge Compilation Classes Width Parameters

Antoine Amarilli, Florent Capelli, Mikaël Monet et al. · Theory of Computing Systems · 2019 · 13 citations

Engineering, Parameterized Complexity, Program Analysis +6

Understanding Model Counting for beta-acyclic CNF-formulas

Johann Brault-Baron, Florent Capelli, Stefan Mengel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 11 citations · Full text

Rows per page

1–5 of 7