|
|
|
|
|
|
by moralestapia
625 days ago
|
|
|
"So, for example, if you can solve some problem \Pi by running a SAT solver ten times, this doesn’t mean that you have reduced that problem to SAT— in reduction, you can only run the SAT solver once." This is also not true. |
|
|