Publications

International journals

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.

International conferences

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 Constraints Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-­Down Decision-­DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.

2019 Constraints 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.