Comment by cheschire

I wonder if model synthesis (wave function collapse) would be more or less efficient.

https://en.m.wikipedia.org/wiki/Model_synthesis

https://www.rserra.it/solving-hardest-sudoku/