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.

Salvato in:
Dettagli Bibliografici
Autore principale: Lovíšková, Jana
Natura: Capitolo di libro
Lingua:slovacco
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!