Constraint based methods for bioinformatics (Chapter VI)