A Solo rejtvény és automatizált megoldása

Dátum
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt

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.

Leírás
Kulcsszavak
Solo rejtvény, Mesterséges intelligencia, Informatika, SAT
Forrás