Maxterm Covering for Satisfiability (Q5277653)
From MaRDI portal
scientific article; zbMATH DE number 6743908
Language | Label | Description | Also known as |
---|---|---|---|
English | Maxterm Covering for Satisfiability |
scientific article; zbMATH DE number 6743908 |
Statements
Maxterm Covering for Satisfiability (English)
0 references
12 July 2017
0 references