Lazy constraints and SAT heuristics for proof-based abstraction | IEEE Conference Publication | IEEE Xplore