Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Analiza in primerjava reševalnikov tekmovanja SAT
Janez Barbo, Uroš Čibej
Diplomsko delo
Oznake: SAT;boolean;reševalnik;algoritmi;DPLI;CDCL;univerzitetni študij;diplomske naloge;
Problem SAT je odločitveni problem, ki za dani logični izraz odloči, če je izpolnljiv ali ne. V nalogi problem SAT podrobno opišemo in na kratko predstavimo teoretično ozadje. Nato opišemo dva glavna algoritma za reševanje, DPLL in CDCL. Algoritma razložimo in prikažemo na primeru. \\ Od leta 2002 ...
Leto: 2024 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: