Computing the minimum DNF representation of Boolean functions defined by intervals (Q2387437)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing the minimum DNF representation of Boolean functions defined by intervals |
scientific article |
Statements
Computing the minimum DNF representation of Boolean functions defined by intervals (English)
0 references
2 September 2005
0 references
Constraint satisfaction
0 references
Automatic test generation
0 references
Boolean function
0 references
DNF
0 references
Disjunctive normal form
0 references
