Using constraint programming for lattice protein folding.
We present a global search technique for finding the global minimal conformation of a sequence in Dill's HP-lattice model. The HP-lattice model is a simplified model of proteins, that has become a major tool for investigating general properties of protein folding. The search technique uses constraint programming for efficiently pruning the search tree. We state the problem of structure prediction in the HP-lattice model and describe our implementation using the Oz-system.
Institut für Informatil: Ludwig-Maximilians-Universität München. backofen@informatik.uni-muenchen.de
R
R
Backofen
D000465:Algorithms; D000595:Amino Acid Sequence; D003198:Computer Simulation; D008969:Molecular Sequence Data; D011487:Protein Conformation; D017510:Protein Folding; D011506:Proteins / Q000737:chemistry*; D012984:Software
D011506:Proteins