Využitie genetických a hybridných genetických algoritmov v súvislosti s NP-úplnými problémami na príklade riešenia problému SAT

Spôsob riešenia problému určovania splniteľnosti logických formúl – SAT (satisfiability problem), ktorý patrí tiež do skupiny NP-úplných problémov, použitím genetických a zvlášť hybridných genetických algoritmov.

Podrobná bibliografia

Hlavný autor:	Lovíšková, Jana
Médium:	Kapitola
Jazyk:	Slovak
Predmet:	algoritmy metódy matematické logika matematická vzorce výroba logistika
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!