160 search results - page 9 / 32 » Satisfiability-Based Algorithms for Boolean Optimization |
101
click to vote
ICCAD
2009
IEEE
14 years 7 months ago
2009
IEEE
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...
BMCBI
2007
14 years 10 months ago
2007
Background: Boolean network (BN) modeling is a commonly used method for constructing gene regulatory networks from time series microarray data. However, its major drawback is that...
AAAI
2006
14 years 11 months ago
2006
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
IJAIT
2008
14 years 10 months ago
2008
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
ICCAD
1993
IEEE
15 years 2 months ago
1993
IEEE
In this paper, we present an integrated approach to synthesis and mapping to go beyond the combinatorial limit set up by the depth-optimal FlowMap algorithm. The new algorithm, na...