A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem

1. Agarwala, R., et al.: Local rules for protein folding on a triangular lattice and generalized hydrophobicity in the HP model. J. Computational Biology, 275–296 (1997)

   Google Scholar 

2. Apt, K.R.: Principles of constraint programming. Cambridge University press, Cambridge (2003)

   Book  MATH  Google Scholar 

3. Backofen, R.: The protein structure prediction problem: A constraint optimization approach using a new lower bound. Constraints 6(2–3), 223–255 (2001)

   Article  MATH  MathSciNet  Google Scholar 

4. Backofen, R., Will, S.: A Constraint-Based Approach to Structure Prediction for Simplified Protein Models that Outperforms Other Existing Methods. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 49–71. Springer, Heidelberg (2003)

   Chapter  Google Scholar 

5. Berman, H.M., et al.: The Protein Data Bank. Nucleic Acids Research 28, 235–242 (2000)

   Article  Google Scholar 

6. Berrera, M., Molinari, H., Fogolari, F.: Amino acid empirical contact energy definitions for fold recognition in the space of contact maps. BMC Bioinformatics 4(8) (2003)

   Google Scholar 

7. Center for Computational Materials Science, Naval Research Labs, Crystal Lattice Structures, http://cst-www.nrl.navy.mil/lattice/

8. Clark, D., et al.: Protein topology prediction through constraint-based search and the evaluation of topological folding rules. Protein Engineering 4, 752–760 (1991)

   Google Scholar 

9. Clote, P., Backofen, R.: Computational Molecular Biology. John Wiley & Sons, Chichester (2001)

   Google Scholar 

10. Crescenzi, P., et al.: On the complexity of protein folding. In: STOC, pp. 597–603 (1998)

    Google Scholar 

11. Dal Palù, A., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics 5(186) (2004)

    Google Scholar 

12. Dal Palù, A., Dovier, A., Pontelli, E.: Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD). In: Proc. of PPDP 2005 (2005)

    Google Scholar 

13. Forman, S.: Torsion Angle Selection and Emergent Non-local Secondary Structure in Protein Structure Prediction. PhD thesis, U. of Iowa (2001)

    Google Scholar 

14. Greenberg, H.J., et al.: Opportunities for Combinatorial Optimization in Computational Biology. INFORMS Journal of Computing (2003)

    Google Scholar 

15. Hart, W., Newman, A.: The computational complexity of protein structure prediction in simple lattice models. CRC Press, Boca Raton (2003) (to appear)

    Google Scholar 

16. Krippahl, L., Barahona, P.: Applying Constraint Programming to Protein Structure Determination. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 289–302. Springer, Heidelberg (1999)

    Google Scholar 

17. Raghunathan, G., Jernigan, R.L.: Ideal architecture of residue packing and its observation in protein structures. Protein Science 6, 2072–2083 (1997)

    Article  Google Scholar 

18. Rodosek, R.: A Constraint-based Approach for Deriving 3-D Structures of Cyclic Polypeptides. Constraints 6(2-3), 257–270 (2001)

    Article  MATH  MathSciNet  Google Scholar 

19. Rost, B.: Protein Secondary Structure Prediction Continues to Rise. J. Struct. Biol. 134 (2001)

    Google Scholar 

20. Skolnick, J., et al.: Reduced models of proteins and applications. Polymer 45, 511–524 (2004)

    Article  Google Scholar 

21. Toma, L., Toma, S.: Folding simulation of protein models on the structure-based cubo-octahedral lattice with contact interactions algorithm. Protein Science 8, 196–202 (1999)

    Article  Google Scholar 

Download references