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.

Detalhes bibliográficos

Autor principal:	Hansen, P.
Outros Autores:	Jaumard, B.
Formato:	Capítulo de Livro
Idioma:	inglês
Assuntos:	algoritmy matematika efektívnosť metódy matematické heuristika
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!