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

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

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