A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.

Alessandro Dal Palù Agostino Dovier Enrico Pontelli A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. 48-63 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_5 db/conf/lpar/lpar2005.html#PaluDP05