Sciweavers

41 search results - page 9 / 9
» A fast pseudo-boolean constraint solver
Sort
View
ICCAD
2009
IEEE
147views Hardware» more  ICCAD 2009»
13 years 8 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...