A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
From MaRDI portal
Publication:5387829
DOI10.1007/11591191_5zbMath1143.68591MaRDI QIDQ5387829
A. Dal Palú, Enrico Pontelli, Agostino Dovier
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_5
82D25: Statistical mechanics of crystals
92C40: Biochemistry, molecular biology
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)