Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli. A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Software: Practice and Experience, 37(13):1405-1449, 2007. [doi]
Abstract is missing.