Βογιατζής, Δ., & Κούρτης, Ι. (2008). DPLL based SAT solver deduction techniques: πτυχιακή εργασία.
Chicago Style (17th ed.) CitationΒογιατζής, Δημήτρης, and Ιωάννης Κούρτης. DPLL Based SAT Solver Deduction Techniques: πτυχιακή εργασία. 2008.
MLA (9th ed.) CitationΒογιατζής, Δημήτρης, and Ιωάννης Κούρτης. DPLL Based SAT Solver Deduction Techniques: πτυχιακή εργασία. 2008.
Warning: These citations may not always be 100% accurate.