Algorithms for the maximum satisfiability problem.
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.
Uložené v:
| Hlavný autor: | |
|---|---|
| Ďalší autori: | |
| Médium: | Kapitola |
| Jazyk: | English |
| Predmet: | |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
MARC
| LEADER | 00000naa a2200000 4500 | ||
|---|---|---|---|
| 001 | r001979 | ||
| 005 | 20220909074223.2 | ||
| 041 | 0 | |a eng | |
| 044 | |a AT | ||
| 245 | 1 | 0 | |a Algorithms for the maximum satisfiability problem. |c P. Hansen, B. Jaumard |
| 520 | |a 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. | ||
| 610 | 2 | 0 | |a algoritmy |
| 610 | 2 | 0 | |a matematika |
| 610 | 2 | 0 | |a efektívnosť |
| 610 | 2 | 0 | |a metódy matematické |
| 610 | 2 | 0 | |a heuristika |
| 100 | 1 | |a Hansen, P. | |
| 700 | 1 | |a Jaumard, B. | |