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

A tétel rövid nézete
dc.contributor.advisorAszalós, László
dc.contributor.authorRémiás, Dávid
dc.contributor.departmentDE--Informatikai Karhu_HU
dc.date.accessioned2021-11-25T09:45:44Z
dc.date.available2021-11-25T09:45:44Z
dc.date.created2021-11-24
dc.description.abstractA 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.hu_HU
dc.description.courseProgramtervező Informatikushu_HU
dc.description.degreeBSc/BAhu_HU
dc.format.extent44hu_HU
dc.identifier.urihttp://hdl.handle.net/2437/325639
dc.language.isohuhu_HU
dc.subjectSolo rejtvényhu_HU
dc.subjectMesterséges intelligenciahu_HU
dc.subjectInformatikahu_HU
dc.subjectSAThu_HU
dc.subject.dspaceDEENK Témalista::Informatikahu_HU
dc.titleA Solo rejtvény és automatizált megoldásahu_HU
Fájlok
Gyűjtemények
Hallgatói dolgozatok (Informatikai Kar)