- Algorithms for the maximum satisfiability problem.
Počet záznamov: 1  

Algorithms for the maximum satisfiability problem.

  1. Názov Algorithms for the maximum satisfiability problem.
    Preklad názvuAlgoritmy pre úlohu maximálnej dostatočnosti.
    Autorské údajeP. Hansen, B. Jaumard
    Autor Hansen P.
    Spoluautori Jaumard B.
    Zdrojový dokumentComputing. Roč. 44, č. 4 (1990), s. 279-303
    Druh dokumenturozpis článkov z periodík
    Jazyk dokumentuangličtina
    Krajina vydaniaRakúsko
    Systematika 519.6 - Výpočtová matematika. Numerická analýza a programovanie počítačov
    Heslá algoritmy * matematika * efektívnosť * metódy matematické * heuristika
    AnotáciaAnalý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.
    Báza dátČLÁNKY

    článok

    článok

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.