Αργυρόπουλος, Ι. (2008). SAT-based CSP heuristics: μεταπτυχιακή διατριβή.
Παραπομπή σε μορφή Chicago (17η εκδ.)Αργυρόπουλος, Ιωάννης. SAT-based CSP Heuristics: μεταπτυχιακή διατριβή. 2008.
Παραπομπή σε μορφή MLA (9th εκδ.)Αργυρόπουλος, Ιωάννης. SAT-based CSP Heuristics: μεταπτυχιακή διατριβή. 2008.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.