C-Focus-3: a C-Focus with a New Heuristic Search Strategy | IEEE Conference Publication | IEEE Xplore