Constructing strong starters of orders $3p$: triplication with SAT solver
Il paper presenta un nuovo metodo di triplicazione che, partendo da un forte iniziatore di ordine , utilizza un risolutore SAT per trasformare il problema in un Sudoku modulare e costruire così forti iniziatori di ordine $3p$, fornendo evidenze pratiche a sostegno della congettura di Horton.