završni rad
Davis-Putnam i DPLL algoritmi

Vlatko Špoljarić (2013)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin
Katedra za teorijske i primijenjene osnove informacijskih znanosti