Property Directed Reachability for QF_BV with mixed type atomic reasoning units | IEEE Conference Publication | IEEE Xplore