Simone Bova and Friedrich Slivovsky

Recent Publications

On Compiling Structured CNFs to OBDDs

2015