Resource: Slovak Economic Library - Catalogue of documents of Slovak Economics Libary
Number of the records: 1
Algorithms for the maximum satisfiability problem.
Title Algorithms for the maximum satisfiability problem. Translation Algoritmy pre úlohu maximálnej dostatočnosti. Author info P. Hansen, B. Jaumard Author Hansen P. Co-authors Jaumard B. Source document Computing. Roč. 44, č. 4 (1990), s. 279-303 Document kind schedule of articles from periodics Language English Country of Edition Austria systematics 519.6 - Výpočtová matematika. Numerická analýza a programovanie počítačov Keywords algoritmy * matematika * efektívnosť * metódy matematické * heuristika Annotation 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. Database ARTICLES
article
Resource: Slovak Economic Library - Catalogue of documents of Slovak Economics Libary
Number of the records: 1