Recognition of tractable DNFs representable by a constant number of intervals (Q1751204)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recognition of tractable DNFs representable by a constant number of intervals |
scientific article |
Statements
Recognition of tractable DNFs representable by a constant number of intervals (English)
0 references
24 May 2018
0 references
knowledge compilation
0 references
interval Boolean functions
0 references
disjunctive normal forms
0 references
0 references
