4 ms·
> I don't understand why SAT solvers don't use gaussian elimination more. These are the types of questions that can easily be answered by simply trying.
by emil-lp 1y ago
> I don't understand why SAT solvers don't use gaussian elimination more.
These are the types of questions that can easily be answered by simply trying.
- js8 1y agoI agree they can be answered, but easily - no. The Grobner basis algorithm has been known for longer than NP problems, so it's not obvious why it wasn't used to solve SAT problems.