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; zbMATH DE number 5779206
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finding Reductions Automatically |
scientific article; zbMATH DE number 5779206 |
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
