Comment Comment by emil-lp > ... SAT solvers only really seem to be good at Sudoku.This is really not true.SAT solvers are really good these days, and many (exact) algorithms (for NP-hard problems) simply use some SOTA SAT solvers and are automatically competitive. parent emil-lp 1 year ago
This is really not true.
SAT solvers are really good these days, and many (exact) algorithms (for NP-hard problems) simply use some SOTA SAT solvers and are automatically competitive.