SAT-based group method for verification of logical descriptions with functional indeterminacy | IEEE Conference Publication | IEEE Xplore