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.
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Chapitre de livre |
| Langue: | slovaque |
| Sujets: | |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
MARC
| LEADER | 00000nla a2200000 4500 | ||
|---|---|---|---|
| 001 | 0184281 | ||
| 005 | 20240502073147.3 | ||
| 041 | 0 | |a slo | |
| 044 | |a SK | ||
| 245 | 1 | 0 | |a 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 |c Jana Lovíšková |
| 520 | |a 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. | ||
| 610 | 2 | 0 | |a algoritmy |
| 610 | 2 | 0 | |a metódy matematické |
| 610 | 2 | 0 | |a logika matematická |
| 610 | 2 | 0 | |a vzorce |
| 610 | 2 | 0 | |a výroba |
| 610 | 2 | 0 | |a logistika |
| 100 | 1 | |a Lovíšková, Jana | |