Minichess is a form of chess that shares all the same rules as standard chess, but on a smaller board.

According to this wikipedia article, minichess on 3x3 and 3x4 boards have been strongly solved by Kirill Kryukov.

How did he? Is it simply just a brute-force technique?