Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

"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.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: