Pedro Barahona Ludwig Krippahl Constraint Programming in Structural Bioinformatics. 3-20 2008 13 Constraints 1-2 http://dx.doi.org/10.1007/s10601-007-9036-6 db/journals/constraints/constraints13.html#BarahonaK08