Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay. Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 390-395, IEEE, 2013. [doi]
Abstract is missing.