Simplifying Boolean constraint solving for random simulation-vector generation | IEEE Journals & Magazine | IEEE Xplore