Pregled bibliografske jedinice broj: 682031
Davis-Putnam i DPLL algoritmi
Davis-Putnam i DPLL algoritmi, 2013., diplomski rad, preddiplomski, Fakultet organizacije i informatike, Varaždin
CROSBI ID: 682031 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Davis-Putnam i DPLL algoritmi
(Davis-Putnam and DPLL algorithms)
Autori
Špoljarić, Vlatko
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, preddiplomski
Fakultet
Fakultet organizacije i informatike
Mjesto
Varaždin
Datum
30.09
Godina
2013
Stranica
42
Mentor
Lovrenčić, Sandra
Ključne riječi
davis-putnam algoritam; dpll algoritam; formalne metode; formalni dokaz
(davis-putnam algorithm; dpll algorithm; formal methods; formal proof)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Informacijske i komunikacijske znanosti
POVEZANOST RADA
Projekti:
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Čubrilo, Mirko, MZOS ) ( CroRIS)
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Sandra Lovrenčić
(mentor)
