Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values | IEEE Journals & Magazine | IEEE Xplore