Improved SAT-based bounded reachability analysis | IEEE Conference Publication | IEEE Xplore