@InProceedings{Will:Mann:WCB2006,
  author =	 {Sebastian Will and Martin Mann},
  title =	 {Counting Protein Structures by DFS with Dynamic
                  Decomposition},
  booktitle =	 {Proc. of the Workshop on Constraint Based Methods for
                  Bioinformatics. http://www.dimi.uniud.it/dovier/WCB06/WCB06_proceedings.pdf},
  pages =	 {83-90},
  year =	 2006,
  user =	 {will},
  abstract =	 {We introduce depth-first search with dynamic decomposition
                  for counting the solutions of a binary CSP completely. In
                  particular, we use the method for computing the number of
                  minimal energy structures for model proteins.},
}