A Solo rejtvény, annak története, illetve variánsai. A Solo rejtvény állapottér reprezentációja, valamint környezetének jellemzése. A felhasznált megoldáskereső algoritmus bemutatása, a Solo rejtvényhez való illesztése. Automatizált megoldó szoftver elkészítése a klasszikus megoldáskereső algoritmus implementációjával. A logikai tételbizonyítás módszerének elméleti háttere, valamint a Solo rejtvényhez való illesztése, a SAT bemutatása. Állapottér reprezentáció módosítása a SAT megoldó tükrében. A SAT megoldó implementációja. A tradicionális megoldáskereső algoritmust használó szoftver és a SAT megoldót használó szoftver összehasonlítása.