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]
@inproceedings{ElbayoumiHE13-1,
title = {Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking},
author = {Mahmoud Elbayoumi and Michael S. Hsiao and Mustafa Y. ElNainay},
year = {2013},
doi = {10.1109/ICCD.2013.6657070},
url = {http://dx.doi.org/10.1109/ICCD.2013.6657070},
researchr = {https://researchr.org/publication/ElbayoumiHE13-1},
cites = {0},
citedby = {0},
pages = {390-395},
booktitle = {2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013},
publisher = {IEEE},
}