> 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

Would that technique do the same? If not, why?