Here's a long walk through these issues in developing a fast solver: https://t-dillon.github.io/tdoku
Here's a long walk through these issues in developing a fast solver: https://t-dillon.github.io/tdoku