Bova, Simone
Full name Familienname, Vorname
Bova, Simone
Access Type
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Bova, Simone ; Slivovsky, Friedrich | On Compiling Structured CNFs to OBDDs | Article Artikel   | 2016 |