Protein folding problem model for quantum computers? It's supposed that quantum computers could help to find the native state of all human DNA proteins.

Does anyone know how to formulate the protein folding problem into a decision problem solvable either by quantum annealers or universal quantum computers?

It would also be interesting to know, how to model a decision problem for classical computers, like Folding@Home.
Protein folding problem can be viewed as a minimization problem. One can use quantum annealing to perform the minimization. Running this on quantum computers would improve the performance since they can perform the tunneling directly.

In fact, quantum annealing was used (blog post) for lattice protein folding on the the D-Wave quantum computer (128 qubits). But this was an extremely simplified model, with only 40 discrete states.