Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals.