Boosting Verification by Automatic Tuning of Decision Procedures | IEEE Conference Publication | IEEE Xplore