Intermediate problems in modular circuits satisfiability (Q5145664)
From MaRDI portal
scientific article; zbMATH DE number 7299497
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intermediate problems in modular circuits satisfiability |
scientific article; zbMATH DE number 7299497 |
Statements
Intermediate problems in modular circuits satisfiability (English)
0 references
21 January 2021
0 references
circuit satisfiability
0 references
constraint satisfaction problem
0 references
intermediate problems
0 references
solving equations
0 references
