Μελέτη Προβλημάτων Συνδυαστικής Αναζήτησης από τη Βιοπληροφορική, Μοντελοποίηση και Επίλυσή τους μέσω Προγραμματισμού με Περιορισμούς