Florent Capelli

3 papers · 2016–2024 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (7)

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Jean-Marie Lagniez (2) Martina Seidl (1) Pierre Marquis (1) Andreas Plank (1) Friedrich Slivovsky (1) Simone Bova (1) Stefan Mengel (1)

Keywords

model counting (2) tree models (1) knowledge compilation (1) quantified boolean formula (1) branching heuristic (1) circuit certification (1)

Papers

A Top-Down Tree Model Counter for Quantified Boolean Formulas IJCAI 2024

Certifying Top-Down Decision-DNNF Compilers AAAI 2021

Knowledge Compilation Meets Communication Complexity IJCAI 2016