<link rel="stylesheet" href="styles.f3b1fba60ec7970c.css">

Mesterséges Intelligencia algoritmusok: A SAT probléma

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

Forrás

Jóváhagyás

Áttekintés

Kiegészítve

Hivatkozik rá

Jogok és engedélyezések

no_restriction