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.

Detalles Bibliográficos

Autor principal:	Hansen, P.
Otros Autores:	Jaumard, B.
Formato:	Capítulo de libro
Lenguaje:	inglés
Materias:	algoritmy matematika efektívnosť metódy matematické heuristika
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!