@inproceedings{Mann:etal:_constraint-based_local_move:WCB09,
author = {Mann, Martin and Hamra, Mohamed Abou and 
          Steinhöfel, Kathleen and Backofen, Rolf},
title = {Constraint-based Local Move Definitions for Lattice
         Protein Models Including Side Chains},
booktitle = {Proceedings of the Fifth Workshop on Constraint 
             Based Methods for Bioinformatics (WCB09)},
year = {2009},
doi = {10.48550/arXiv.0910.3880},
user = {will},
arxiv = {0910.3880},
abstract = {The simulation of a protein's folding process is
            often done via stochastic local search, which
            requires a procedure to apply structural changes
            onto a given conformation. Here, we introduce a
            constraint-based approach to enumerate lattice
            protein structures according to k-local moves in
            arbitrary lattices. Our declarative description is
            much more flexible for extensions than standard
            operational formulations. It enables a generic
            calculation of k-local neighbors in backbone-only
            and side chain models. We exemplify the procedure
            using a simple hierarchical folding scheme.}
}