Florent Capelli - Tenure track
Kontaktdaten
- capelli@cril.fr
- https://orcid.org/0000-0002-2842-8223
Forschungsachsen
- Constraints
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 Constraints 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.
2024 Constraints 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.
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.