Bova, Simone

2 publications

IJCAI 2016 Knowledge Compilation Meets Communication Complexity Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky

AAAI 2016 SDDs Are Exponentially More Succinct than OBDDs Simone Bova