Vytlačiť
1. Algorithms for the maximum satisfiability problem.
| Názov | Algorithms for the maximum satisfiability problem. |
|---|---|
| Preklad názvu | Algoritmy pre úlohu maximálnej dostatočnosti. |
| Autorské údaje | P. Hansen, B. Jaumard |
| Autor | Hansen P. |
| Spoluautori | Jaumard B. |
| Zdrojový dokument | Computing. Roč. 44, č. 4 (1990), s. 279-303 |
| Druh dokumentu | rozpis článkov z periodík |
| Jazyk dokumentu | angličtina |
| Krajina vydania | Rakúsko |
| Systematika | 519.6 - Výpočtová matematika. Numerická analýza a programovanie počítačov |
| Heslá | algoritmy * matematika * efektívnosť * metódy matematické * heuristika |
| Anotácia | Analýza starých a nových algoritmov pre úlohu maximálnej dostatočnosti. Prehľad starších známych heuristík. Adaptácia niektorých moderných algoritmov. Návrh algoritmu a empirické dôkazy jeho vyššej efektívnosti oproti algoritmom, známym z literatúry. |
| Báza dát | ČLÁNKY |