Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration | IEEE Conference Publication | IEEE Xplore