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.

Saved in:
Main Author: Hansen, P.
Other Authors: Jaumard, B.
Format: Book Chapter
Language:English
Subjects:
algoritmy
matematika
efektívnosť
metódy matematické
heuristika
Tags: Add Tag
No Tags, Be the first to tag this record!

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. 

Similar Items