Many NP-complete problems are routinely solved in practice via SAT solvers and heuristics, meaning w...