HANNIBAL: An efficient tool for logic verification based on recursive learning | IEEE Conference Publication | IEEE Xplore