Počet záznamov: 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

článok
Počet záznamov: 1