Aszalós, LászlóRémiás, Dávid2021-11-252021-11-252021-11-24http://hdl.handle.net/2437/325639A 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.44huSolo rejtvényMesterséges intelligenciaInformatikaSATDEENK Témalista::Informatika