Author:
Reimer Sven,Sauer Matthias,Schubert Tobias,Becker Bernd
Publisher
Springer International Publishing
Reference26 articles.
1. Lin, P.-C.K., Khatri, S.P.: Application of Max-SAT-based ATPG to optimal cancer therapy design. BMC Genomics 13(suppl. 6), S5 (2012)
2. Favier, A., Elsen, J.-M., De Givry, S., Legarra, A.: Optimal haplotype reconstruction in half-sib families. In: Proceedings of WCB 2010, p. 20 (2010)
3. Reimer, S., Sauer, M., Schubert, T., Becker, B.: Using MaxBMC for Pareto-optimal circuit initialization. In: DATE. IEEE (2014)
4. Menai, M., Al-Yahya, T.: A taxonomy of exact methods for partial Max-SAT. Journal of Computer Science and Technology 28(2), 232–246 (2013)
5. Zhang, H., Shen, H., Manya, F.: Exact algorithms for MAX-SAT. Electronic Notes in Theoretical Computer Science 86(1), 190–203 (2003)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Optimal Power-Aware Path Sensitization;2016 IEEE 25th Asian Test Symposium (ATS);2016-11
2. A Flexible Framework for the Automatic Generation of SBST Programs;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2016-10