Simone Bova and Florent Capelli and Stefan Mengel and Friedrich Slivovsky

Recent Publications

Knowledge Compilation Meets Communication Complexity

2016

On Compiling CNFs into Structured Deterministic DNNFs

2015