A Hybrid Algorithm to Conservatively Check the Robustness of Circuits | IEEE Conference Publication | IEEE Xplore