izvor podataka: crosbi
!
Davis-Putnam i DPLL algoritmi (CROSBI ID 384568)
Ocjenski rad | sveučilišni preddiplomski završni rad
Špoljarić, Vlatko
Davis-Putnam i DPLL algoritmi / Lovrenčić, Sandra (mentor);
Varaždin, Fakultet organizacije i informatike, . 2013
Podaci o odgovornosti
Špoljarić, Vlatko
Lovrenčić, Sandra
hrvatski
Davis-Putnam i DPLL algoritmi
Pojam formalnog dokaza. Davis-Putnam algoritam – povijest razvoja i opis postupka. Proširenje na Davis-Putnam-Logemann-Loveland (DPLL) algoritam. Korištenje algoritma – alati i primjeri. Usporedba sa drugim postupcima dokazivanja. Razvoj vlastitog primjera.
davis-putnam algoritam; dpll algoritam; formalne metode; formalni dokaz
nije evidentirano
engleski
Davis-Putnam and DPLL algorithms
nije evidentirano
davis-putnam algorithm; dpll algorithm; formal methods; formal proof
nije evidentirano
Podaci o izdanju
42
30.09.2013.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Fakultet organizacije i informatike
Varaždin
Povezanost rada
Povezane osobe
Povezane ustanove