A technique for estimating the difficulty of a formal verification problem | IEEE Conference Publication | IEEE Xplore