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.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book Chapter |
| Language: | Slovak |
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
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 | |