Sebastian Will, Martin Mann:
Counting Protein Structures by DFS with Dynamic Decomposition.
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.
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-112
@inproceedings{REWERSE-RP-2006-112,
author = {Sebastian Will and Martin Mann},
title = {Counting Protein Structures by DFS with Dynamic Decomposition},
booktitle = {Proceedings of Workshop on Constraint Based Methods for Bioinformatics, Nantes, France (25th September 2006)},
year = {2006},
pages = {83--90},
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-112}
}