3 ms·
I definitely recall doing reductions from SAT in Algorithms courses. I think that is a common part of most curricula. I don't recall being taught any practica
by tgamblin 3y ago
I definitely recall doing reductions from SAT in Algorithms courses. I think that is a common part of most curricula.
I don't recall being taught any practical uses of SAT. It was introduced only in the context of Cook's theorem, as the problem you needed to reduce to other problems in order to show NP-completeness.
I think most people now learn SAT in that theoretical context, not as a tool to solve problems.
- dataflow 3y ago> I definitely recall doing reductions to SAT in Algorithms courses. > It was introduced only in the context of Cook's theorem, as the problem you needed to reduce other problems to in order to show NP-completeness. Are you referring to reductions from SAT, or to SAT? You seem to be mentioning both?
- tgamblin 3y agoYep, from SAT. Edited. Guess I typed that too fast :)