Optimizing SMT Solving Strategies by Learning with an Evolutionary Process | IEEE Conference Publication | IEEE Xplore