On compiling structured CNFs to OBDDs (Q2411046)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On compiling structured CNFs to OBDDs |
scientific article |
Statements
On compiling structured CNFs to OBDDs (English)
0 references
20 October 2017
0 references
knowledge compilation
0 references
ordered binary decision diagram
0 references
conjunctive normal form
0 references
expander graphs
0 references
0 references
