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.

Detalles Bibliográficos

Autor principal:	Lovíšková, Jana
Formato:	Capítulo de libro
Lenguaje:	eslovaco
Materias:	algoritmy metódy matematické logika matematická vzorce výroba logistika
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!