(SAT, ε-UNSAT) (Q4544863)
Jump to navigation
Jump to search
language in computational complexity theory
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | (SAT, ε-UNSAT) |
language in computational complexity theory |
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | (SAT, ε-UNSAT) |
language in computational complexity theory |