Publications

Articles de revues internationales

2016 Florent Capelli, Arnaud Durand, Stefan Mengel, The Arithmetic Complexity of Tensor Contraction in Theory of Computing Systems,vol. 58, n° 4, pp. 506 - 527, 2016.

Articles de conférences internationales

2024 Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet, Ranked Enumeration for MSO on Trees via Knowledge Compilation in International Conference on Database Theory (ICDT 2024),vol. 290, pp. 5:1–25:18, 2024.

2024 Florent Capelli, Oliver Irwin, Direct Access for Conjunctive Queries with Negations in International Conference on Database Theory,Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 27th International Conference on Database Theory (ICDT 2024), pp. 13:1-13:20, 2024.

2021 Contraintes Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-­Down Decision-­DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.

2019 Contraintes Florent Capelli, Stefan Mengel, Tractable QBF by Knowledge Compilation in 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019),2019.

2016 Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky, Knowledge Compilation Meets Communication Complexity in 25th International Joint Conference on Artificial Intelligence (IJCAI'16),IJCAI/AAAI Press, pp. 1008--1014, 2016.