Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs (Q5136279)
From MaRDI portal
scientific article; zbMATH DE number 7278063
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs |
scientific article; zbMATH DE number 7278063 |
Statements
25 November 2020
0 references
branching program
0 references
read-\(k\)-times
0 references
satisfiability
0 references
moderately exponential time
0 references
polynomial space
0 references
0 references
0 references
0 references
0 references
Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs (English)
0 references
