ON GENERIC COMPLEXITY OF THE VALIDITY PROBLEM FOR BOOLEAN FORMULAS (Q5150742)
From MaRDI portal
scientific article; zbMATH DE number 7310343
Language | Label | Description | Also known as |
---|---|---|---|
English | ON GENERIC COMPLEXITY OF THE VALIDITY PROBLEM FOR BOOLEAN FORMULAS |
scientific article; zbMATH DE number 7310343 |
Statements
ON GENERIC COMPLEXITY OF THE VALIDITY PROBLEM FOR BOOLEAN FORMULAS (English)
0 references
15 February 2021
0 references
generic complexity
0 references
validity problem for Boolean formulas
0 references