Propositional approximations for bounded model checking of partial circuit designs | IEEE Conference Publication | IEEE Xplore