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.

Enregistré dans:
Auteur principal: Hansen, P.
Autres auteurs: Jaumard, B.
Format: Chapitre de livre
Langue:anglais
Sujets:
algoritmy
matematika
efektívnosť
metódy matematické
heuristika
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

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. 

Documents similaires