Improving Constraint Solving to Predict Protein Structure

The project aims at developing advanced computing techniques, focussing in constraint programming, and to show how their integration with other techniques such as automated learning and meta-heuristics optimisation, can be used to solve a very important problem: the determination of protein structure from Nuclear Magnetic Resonance (NMR) spectroscopy.