Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification. - Vineesh V. S.; Binod Kumar 001; Rushikesh Shinde; Akshay Jaiswal; Harsh Bhargava; Virendra Singh (ATS, 2019)