Sciweavers

6 search results - page 2 / 2
» Memory Efficient All-Solutions SAT Solver and Its Applicatio...
Sort
View
ICCAD
2009
IEEE
147views Hardware» more  ICCAD 2009»
13 years 3 months ago
SAT-based protein design
Computational protein design can be formulated as an optimization problem, where the objective is to identify the sequence of amino acids that minimizes the energy of a given prot...
Noah Ollikainen, Ellen Sentovich, Carlos Coelho, A...