Nagy, BenedekDebreceni, Béla2009-01-122009-01-122009-01-122009-01-12http://hdl.handle.net/2437/78060Mesterséges algoritmusok bemutatatása a SAT problémára. A SAT matematikai háttere. DPLL, WalkSAT, és egy genetikus algoritmus kidolgozása.39hualgoritmusokmesterséges intelligenciakielégíthetőségi vizsgálatBoole-hálózatDPLLWalkSATGenetikus algoritmusDEENK Témalista::Informatika::Számítógéptudományno_restriction