Using SAT based Image Computation for Reachability Analysis. (2003)

by Pankaj Chauhan, Edmund M Clarke, Daniel Kroening