Efficient state space pruning in symbolic backward traversal | IEEE Conference Publication | IEEE Xplore