Aszalós, LászlóMajoros, Gergely2010-05-112010-05-1120102010-05-11http://hdl.handle.net/2437/96127a nonogram rejtvény megoldása DPLL és konjunktív normálforma segítségével52hunonogramdpllknftételbizonyításNonogram és automatikus tétlbizonyításDEENK Témalista::Informatika::Számítógéptudományno_restriction