Mesterséges Intelligencia algoritmusok: A SAT probléma
Fájlok
A szakdolgozat magyarul.(1.44 MB)
A genetikus algoritmus implementacioja(11.23 KB)
A DPLL es SAT algoritmusok implementacioja(13.76 KB)
Segedfajl a c programhoz.(2.18 KB)
Segedfajl a c programhoz(12.13 KB)
Segedfajl a c programhoz(488 B)
Felhasznaloi utmutato a programokhoz(397.2 KB)
DPLL es WalkSAT implementacio(43.58 KB)
Dátum
2009-01-12T09:48:30Z
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Mesterséges algoritmusok bemutatatása a SAT problémára. A SAT matematikai háttere. DPLL, WalkSAT, és egy genetikus algoritmus kidolgozása.
Leírás
Kulcsszavak
algoritmusok, mesterséges intelligencia, kielégíthetőségi vizsgálat, Boole-hálózat, DPLL, WalkSAT, Genetikus algoritmus