@InProceedings{Backofen:CP97-WS,
  author =       "Rolf Backofen",
  title =        "Using Constraint Programming for lattice Protein Folding",
  booktitle =    "Workshop on Constraints and Bioinformatics/Biocomputing",
  year =         1997,
  note =         "Held in conjunction with {\em Third International Conference
                  on Principles and Practice of Constraint Programming
                  (CP97)}"
, abstract = {We present a global search technique for finding the minimal
conformation of a sequence in Dill's HP-lattice
model~[Lau:89a,Lau:90a]. 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.
   }
}