An algorithm for Boolean satisfiability based on generalized orthonormal expansion (Q6252450)
From MaRDI portal
scientific article; zbMATH DE number 900183225
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm for Boolean satisfiability based on generalized orthonormal expansion |
scientific article; zbMATH DE number 900183225 |
Statements
18 June 2014
0 references
cs.DS
0 references
math.LO
0 references