Computing the minimum DNF representation of Boolean functions defined by intervals (Q2387437): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4198056 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Solving the generalized mask constraint for test generation of binary floating point add operation. / rank | |||
Normal rank | |||
Latest revision as of 15:00, 10 June 2024
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
