Author:
Liffiton Mark H.,Sakallah Karem A.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference35 articles.
1. Andraus, Z.S., Liffiton, M.H., Sakallah, K.A.: CEGAR-Based formal hardware verification: a case study. Technical report from the University of Michigan, CSE-TR-531-07, May 2007
2. Andraus, Z.S., Liffiton, M.H., Sakallah, K.A.: Refinement strategies for verification methods based on datapath abstraction. In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation (ASP-DAC’06), pp. 19–24 (2006)
3. Bailey, J., Manoukian, T., Ramamohanarao, K.: A fast algorithm for computing hypergraph transversals and its application in mining emerging patterns. In: Proceedings of the Third IEEE International Conference on Data Mining (ICDM’03), pp. 485 (2003)
4. Bailey, J., Stuckey, P.J.: Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In: Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL’05), LNCS, vol. 3350 (2005)
5. Bautista, J., Pereira, J.: A GRASP algorithm to solve the unicost set covering problem. Comput. Operat. Res. 34(10), 3162–3173 (2007)
Cited by
194 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献