undergraduate thesis
Davis-Putnam and DPLL algorithms

Vlatko Špoljarić (2013)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Theoretical and Applied Foundations of Information Sciences