Mesterséges Intelligencia algoritmusok: A SAT probléma

dc.contributor.advisor	Nagy, Benedek
dc.contributor.author	Debreceni, Béla
dc.contributor.department	DE--TEK--Informatikai Kar	en
dc.date.accessioned	2009-01-12T09:48:30Z
dc.date.available	2009-01-12T09:48:30Z
dc.date.created	2009-01-12
dc.date.issued	2009-01-12T09:48:30Z
dc.description.abstract	Mesterséges algoritmusok bemutatatása a SAT problémára. A SAT matematikai háttere. DPLL, WalkSAT, és egy genetikus algoritmus kidolgozása.	en
dc.description.degree	Ba	en
dc.format.extent	39	en
dc.identifier.uri	http://hdl.handle.net/2437/78060
dc.language.iso	hu	en
dc.rights.access	no_restriction
dc.subject	algoritmusok	en
dc.subject	mesterséges intelligencia	en
dc.subject	kielégíthetőségi vizsgálat	en
dc.subject	Boole-hálózat	en
dc.subject	DPLL	en
dc.subject	WalkSAT	en
dc.subject	Genetikus algoritmus	en
dc.subject.dspace	DEENK Témalista::Informatika::Számítógéptudomány	en
dc.title	Mesterséges Intelligencia algoritmusok: A SAT probléma	en