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.

Gespeichert in:
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!

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. 

Ähnliche Einträge