You can find below a list of publications related to the project:
Conferences
- Direct Access for Conjunctive Queries with Negation, Florent Capelli, Oliver Irwin, Accepted at ICDT 2024.
- Ranked Enumeration for MSO on Trees via Knowledge Compilation, Antoine Amarilli, Pierre Bourhis, Florent Capelli, Mikaël Monet Accepted at ICDT 2024
- Geometric Amortization of Enumeration Algorithms, Florent Capelli, Yann Strozecki, STACS 2023.
- Linear Programs with Conjunctive Queries, Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon, ICDT 2022
Preprints
- A Knowledge Compilation Take on Binary Polynomial Optimization, Florent Capelli, Silvia Di Gregorio, Alberto Del Pia, Submitted at IPCO 2024.