On SAT-based Bounded Invariant Checking of Blackbox Designs | IEEE Conference Publication | IEEE Xplore