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

Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli

Browse the full LPAR paper archive.