Biomedical Engineering Reference
In-Depth Information
one-hot fashion. A gene will have many possible predictors or functions, each
represented by a Boolean variable, however only one per gene can be selected in
the SAT solution. This one-hot encoding may be a natural fit for accelerating the
SAT process on GPU. The implication for this method of accelerating SAT on
GPU extends beyond our algorithm, possibly lending to SAT research in one-hot
and/or multi-valued variables.
References
1. Hachtel, G., Jacoby, R.: Verification algorithms for vlsi synthesis. IEEE Trans. Computer-Aided
Des. 616-640 (1988)
2. Burch, J.R., Clarke, E.M., McMillan, L.K., Dill, D.L.: Symbolic Model Checking: 10
20
States
and Beyond. Inform. Computat.
98
(2),142-170 (1992)
3. Shmulevich, I., Dougherty, E.R.: Probabilistic Boolean Networks: The Modeling and Con-
trol of Gene Regulatory Networks, SIAM—Society for Industrial and Applied Mathematics.
Philadelphia (2009)
4. Damiani, M.: Nondeterministic finite-state machines and sequential don't cares. European De-
sign and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC
European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings,
pp. 192-198. (1994)