conftrace_

Florent Capelli

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

Achievements

Jump to papers ↓

🌍 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