31 search results - page 7 / 7 » Faster SAT solving with better CNF generation |
153
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...