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.

Bibliographische Detailangaben

1. Verfasser:	Hansen, P.
Weitere Verfasser:	Jaumard, B.
Format:	Buchkapitel
Sprache:	Englisch
Schlagworte:	algoritmy matematika efektívnosť metódy matematické heuristika
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!