Finding Reductions Automatically (Q3586003)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finding Reductions Automatically |
scientific article |
Statements
Finding Reductions Automatically (English)
0 references
3 September 2010
0 references
descriptive complexity
0 references
first-order reduction
0 references
quantifier-free reduction
0 references
SAT solver
0 references
