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

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

Mathematics Subject Classification ID

82D25: Statistical mechanics of crystals

92C40: Biochemistry, molecular biology

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)