Once you have a finite problem (which usually requires human human), computers can just chew through cases.

There are Sudoku which (appear to be) beyond human ability to solve, but which computers will prove solvable within milliseconds, just by chewing through the options.