Proving QBF-hardness in Bounded Model Checking for Incomplete Designs | IEEE Conference Publication | IEEE Xplore