@InProceedings{Backofen:PSB98,
  author =	 "Rolf Backofen",
  title =	 "Using Constraint Programming for lattice Protein
                  Folding",
  booktitle =	 "Proceedings of the Pacific Symposium on Biocomputing
                  (PSB'98)",
  editor =	 {Russ B. Altman and A. Keith Dunker and Lawrence
                  Hunter and Teri E. Klein},
  volume =	 3,
  pages =	 "387-398",
  year =	 "1998",
  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.},
  user =	 {will}
}