Gracias por el consejo.
Ya se que es relativamente fácil (por eso dije "pequeña IA"). Lo que pensé en un principio es hacer comprobaciones básicas por filas, columnas y cuadros (quizás hacerlo con varios hilos).
De esta manera, cada vez que se descubriera un número se volvería a empezar, hasta que no se pudiera avanzar.
El siguiente paso sería hacer una deducción simple, y volver al primer paso (hasta que se pueda).
Finalmente, se haría una "fuerza bruta", en la que asignaría un valor (dentro de los posibles) a un cuadro y seguiría la resolución. En caso de ser erróneo, probaría con otro número (y así hasta solucionarlo).
Pero pensé que podría hacer algo con los determinantes, ya que tienen propiedades tales como mover filas/columnas, etc...
Si gustas te mantengo informado de si encuentro alguna cosa interesante
Un saludo!