vix.ing · top · new · best · stats · spec

Capelli, Florent

  1. A Strongly Exponential Separation of DNNFs from CNF Formulas
    2014/11/07 by Bova, Simone, Capelli, Florent, Mengel, Stefan +1 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences
  2. Tractable Circuits in Database Theory
    2024/07/01 by Antoine Amarilli, Amarilli, Antoine, Florent Capelli +1 · 2 citations
    Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Database Systems and Queries #Algorithms and Data Compression #DNA and Biological Computing #Databases (cs.DB) #FOS: Computer and information sciences
  3. A Knowledge Compilation Take on Binary Polynomial Optimization
    2023/10/31 by Capelli, Florent, Del Pia, Alberto, Di Gregorio, Silvia · 2 citations
    #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC)
  4. Ranked Enumeration for MSO on Trees via Knowledge Compilation
    2023/10/01 by Amarilli, Antoine, Bourhis, Pierre, Capelli, Florent +1 · 1 citation
    #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
  5. Direct Access for Conjunctive Queries with Negations
    2023/10/24 by Capelli, Florent, Carmeli, Nofar, Irwin, Oliver +1 · 1 citation
    #68P15 #Databases (cs.DB) #FOS: Computer and information sciences