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

Bova, Simone

  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. SDDs are Exponentially More Succinct than OBDDs
    2016/01/04 by Bova, Simone · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)