Florent Capelli

Univ. Artois , CNRS , Centre de Recherche en Informatique de Lens (CRIL) , F-62300 Lens , France

2 papers in the IJCAI proceedings

IJCAI 2024

A Top-Down Tree Model Counter for Quantified Boolean Formulas

with Jean-Marie Lagniez, Andreas Plank, Martina Seidl

doi:10.24963/ijcai.2024/205

Details PDF

IJCAI 2016

Knowledge Compilation Meets Communication Complexity

with Simone Bova, Stefan Mengel, Friedrich Slivovsky

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings