A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem
From MaRDI portal
Publication:5387829
DOI10.1007/11591191_5zbMath1143.68591OpenAlexW1558285486MaRDI 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
Statistical mechanics of crystals (82D25) Biochemistry, molecular biology (92C40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)