Scaling up Prioritized Grammar Enumeration for scientific discovery in the cloud | IEEE Conference Publication | IEEE Xplore