Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper) | Publicación