undergraduate thesis
Davis-Putnam and DPLL algorithms

Vlatko Špoljarić (2013)
University of Zagreb
Faculty of Organization and Informatics
Department of Theoretical and Applied Foundations of Information Sciences
Cite this document...

Špoljarić, V. (2013). Davis-Putnam i DPLL algoritmi (Undergraduate thesis). Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić, Vlatko. "Davis-Putnam i DPLL algoritmi." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2013. https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić, Vlatko. "Davis-Putnam i DPLL algoritmi." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2013. https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić, V. (2013). 'Davis-Putnam i DPLL algoritmi', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 23 August 2019, https://urn.nsk.hr/urn:nbn:hr:211:872259

Špoljarić V. Davis-Putnam i DPLL algoritmi [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2013 [cited 2019 August 23] Available at: https://urn.nsk.hr/urn:nbn:hr:211:872259

V. Špoljarić, "Davis-Putnam i DPLL algoritmi", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2013. Available at: https://urn.nsk.hr/urn:nbn:hr:211:872259