Biomedical Engineering Reference
In-Depth Information
24. Selman, B., Kautz, H.: Gsat-users-guide. http://www.cs.rochester.edu/u/kautz/papers/. Ac-
cessed 27 Sept 2010
25. Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient
SAT solver. Proceedings of the Design Automation Conference (2001)
26. Silva, M., Sakallah, J.: “GRASP-a new search algorithm for satisfiability. Proceedings of the
International Conference on Computer-Aided Design (ICCAD), pp. 220-7 (1996)
27. Lin, P. K., Khatri, S.P.: Inference of gene predictor set using Boolean satisfiability. Genomic
Signal Processing and Statistics (GENSIPS), 2010 IEEE International Workshop on, pp. 1-4
(2010)
28. Lin, P. K., Khatri, S.P.: Application of logic synthesis to the understanding and cure of genetic
diseases. Proceedings of the 49th Annual Design Automation Conference, pp. 734-740 (2012)
29. Lin, P. K., Khatri, S.P.: Determining gene function in Boolean networks using Boolean sat-
isfiability. Genomic Signal Processing and Statistics (GENSIPS), 2012 IEEE International
Workshop on. IEEE, pp. 1-4. (2012)
30. Lin, P. K., Khatri, S.P.: Efficient Cancer Therapy Using Boolean Networks and Max-SAT-
Based ATPG. Genomic Signal Processing and Statistics (GENSIPS), 2011 IEEE International
Workshop on. IEEE, pp. 87-90. (2012)
31. Lin, P. K., Khatri, S.: Application of Max-SAT-based ATPG to optimal cancer therapy design.
BMC. Genomics. 13 (6), 5 2012
Search WWH ::




Custom Search