Nonogram és automatikus tétlbizonyítás
Fájlok
Dátum
2010-05-11T07:27:50Z
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
a nonogram rejtvény megoldása DPLL és konjunktív normálforma segítségével
Leírás
Kulcsszavak
nonogram, dpll, knf, tételbizonyítás