Algorithms for the maximum satisfiability problem.

SYS		r001979
LBL		^^^^^naa^^2200337^^^450^
005		20220909074223.2
100		$a 19971217a19rr m y0sloc0103 ba
101	0-	$a eng
102		$a AT
200	1-	$a Algorithms for the maximum satisfiability problem. $f P. Hansen, B. Jaumard
330		$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.
463	-1	$1 200 1 $a Computing $v Roč. 44, č. 4 (1990), s. 279-303
541	1-	$a Algoritmy pre úlohu maximálnej dostatočnosti.
610	1-	$a algoritmy $9 eu_un_auth*h0001064
610	1-	$a matematika $9 eu_un_auth*h0003232
610	1-	$a efektívnosť $9 eu_un_auth*h0001924
610	1-	$a metódy matematické $9 eu_un_auth*h0003314
610	1-	$a heuristika $9 eu_un_auth*h0002271
675		$a 519.6 $v 1. stred. $z slo $T . $3 eu_un_auth*h0000241 $x Výpočtová matematika. Numerická analýza a programovanie počítačov
700	-1	$a Hansen $b P. $3 eu_un_auth*p0014543 $4 070
701	-1	$a Jaumard $b B. $3 eu_un_auth*p0014544 $4 070
801	-0	$a SK $b BA004 $c 19971217 $g AACR2

Zdroj: Slovenská ekonomická knižnica - Katalóg dokumentov SEK

Počet záznamov: 1