1 rezultat
1 - 1 / 1   1  |
1. Analiza in primerjava reševalnikov tekmovanja SAT Janez Barbo, 2024, diplomsko delo/naloga Ključne besede: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |
Iskanje izvedeno v 0.02 sek.
Na vrh
1 - 1 / 1 1 |
1. Analiza in primerjava reševalnikov tekmovanja SAT Janez Barbo, 2024, diplomsko delo/naloga Ključne besede: SAT, boolean, reševalnik, algoritmi, DPLL, CDCL |