Cited By
View all- Elbayoumi MHsiao MElNainay M(2013)Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking2013 IEEE 31st International Conference on Computer Design (ICCD)10.1109/ICCD.2013.6657070(390-395)Online publication date: Oct-2013