Enhancing SAT-based Bounded Model Checking using sequential logic implications | IEEE Conference Publication | IEEE Xplore