Tighter integration of BDDs and SMT for Predicate Abstraction | IEEE Conference Publication | IEEE Xplore