> It's a new technique they couldn't do before that helped crack the mystery. What about SAT-based solvers [1] for same problem? [1] https://ieeexplore.ieee.o

> It's a new technique they couldn't do before that helped crack the mystery. What about SAT-based solvers [1] for same problem? [1] https://ieeexplore.ieee.org/document/5361301 https://ieeexplore.ieee.org/document/5361301 Would that technique do the same? If not, why?