Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT - Χαρατσάρης, Δημήτριος (2013)