APA (7th ed.) Citation

Βογιατζής, Δ., Κούρτης, Ι., & Στεργίου, Κ. (2015). DPLL based SAT solver deduction techniques.

Chicago Style (17th ed.) Citation

Βογιατζής, Δημήτρης, Ιωάννης Κούρτης, and Κωνσταντίνος Στεργίου. DPLL Based SAT Solver Deduction Techniques. 2015.

MLA (9th ed.) Citation

Βογιατζής, Δημήτρης, et al. DPLL Based SAT Solver Deduction Techniques. 2015.