Finding Reductions Automatically (Q3586003)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Finding Reductions Automatically |
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
0 references
0.82183015
0 references
0.8161777
0 references
