On Efficient Algorithms for SAT (Q4913846)
From MaRDI portal
scientific article; zbMATH DE number 6154709
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Efficient Algorithms for SAT |
scientific article; zbMATH DE number 6154709 |
Statements
On Efficient Algorithms for SAT (English)
0 references
16 April 2013
0 references
SAT-problem
0 references
membrane computing
0 references
efficiency
0 references
new computing paradigms
0 references
P-NP
0 references
regular languages
0 references
finite automata
0 references
uniform solution
0 references
