Effective Candidate Invariant Generation Using GPGPUs and Optimisations | IEEE Conference Publication | IEEE Xplore