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.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lovíšková, Jana
Format: Buchkapitel
Sprache:Slowakisch
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!