Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem.

Agostino Dovier

Published in: Il Milione (2008)

Keyphrases

constraint logic programming
constraint solving
answer set programming
recent developments
integer programming
logic programming language
artificial intelligence
optimal solution
general purpose
lower bound
parallel algorithm
constraint programming
constraint propagation
default reasoning
constraint solver