A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
Alessandro Dal PalùAgostino DovierEnrico PontelliPublished in: LPAR (2005)
Keyphrases
- constraint solver
- constraint solving
- constraint programming
- constraint propagation
- linear constraints
- constraint satisfaction problems
- constraint satisfaction
- constraint logic programming
- real numbers
- sat solvers
- finite domain
- pattern recognition
- constraint solvers
- arc consistency algorithm
- neural network
- search strategies