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.

Bibliographic Details

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!