Sciweavers

2 search results - page 1 / 1
» A Tractable Walsh Analysis of SAT and its Implications for G...
Sort
View
AAAI
1998
13 years 6 months ago
A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms
Walsh Transforms measure all sources of nonlinear interactions for functions that have a bit representation. There can be exponentially many nonlinear interactions and exactly com...
Soraya B. Rana, Robert B. Heckendorn, L. Darrell W...
ICCAD
2009
IEEE
147views Hardware» more  ICCAD 2009»
13 years 2 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...