SAT-based fault coverage evaluation in the presence of unknown values | IEEE Conference Publication | IEEE Xplore