Sciweavers

31 search results - page 7 / 7
» Faster SAT solving with better CNF generation
Sort
View
BMCBI
2010
116views more  BMCBI 2010»
13 years 3 months ago
A hybrid approach to protein folding problem integrating constraint programming with local search
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...
Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel