Capelli, Florent

3 publications

IJCAI 2024 A Top-Down Tree Model Counter for Quantified Boolean Formulas Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl

AAAI 2021 Certifying Top-Down Decision-DNNF Compilers Florent Capelli, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2016 Knowledge Compilation Meets Communication Complexity Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky