![](/img/cover-not-exists.png)
[ACM Press the 23rd ACM international conference - Paris, France (2013.05.02-2013.05.03)] Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI - GLSVLSI '13 - Set-cover-based critical implications selection to improvesat-based bounded model checking
Elbayoumi, Mahmoud, Hsiao, Michael S., ElNainay, MustafaYear:
2013
Language:
english
DOI:
10.1145/2483028.2483128
File:
PDF, 435 KB
english, 2013