Florent Capelli

Maître de conférences
CNU : SECTION 27 - INFORMATIQUE
no image

Florent Capelli

Maître de conférences

Publications

Article dans des revues

Communication dans un congrès

  • Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon. Linear Programs with Conjunctive Queries. 25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom. ⟨hal-01981553⟩
  • Florent Capelli, Jean-Marie Lagniez, Pierre Marquis. Certifying Top-­Down Decision-­DNNF Compilers. AAAI 2021 - 35th Conference on Artificial Intelligence, Feb 2021, Virtual, France. ⟨hal-03111679⟩
  • Florent Capelli. Knowledge Compilation Languages as Proof Systems. Theory and Applications of Satisfiability Testing – SAT 2019, Jul 2019, Lisbon, Portugal. pp.90-99, ⟨10.1007/978-3-030-24258-9_6⟩. ⟨hal-02445523⟩
  • Florent Capelli, Stefan Mengel. Tractable QBF by Knowledge Compilation. 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), Mar 2019, Berlin, Germany. ⟨hal-01836402⟩
  • Florent Capelli. Understanding the complexity of #SAT using knowledge compilation. 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, France. ⟨10.1109/LICS.2017.8005121⟩. ⟨hal-01836195⟩
  • Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky. Knowledge Compilation Meets Communication Complexity. 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, NY, USA, Unknown Region. pp.1008--1014. ⟨hal-03301001⟩

Pré-publication, Document de travail

  • Florent Capelli. Knowledge compilation languages as proof systems. 2019. ⟨hal-02163761⟩