Recent constraint/logic programming based advances in the solution of the protein folding problem.
Agostino DovierPublished in: Intelligenza Artificiale (2011)
Keyphrases
- constraint logic programming
- constraint programming
- constraint solving
- recent developments
- logic programming language
- optimal solution
- answer set programming
- proof theoretic
- data mining
- artificial intelligence
- search algorithm
- logic programming
- orders of magnitude
- temporal reasoning
- constraint propagation
- constraint solver