goSAT: Floating-point satisfiability as global optimization | IEEE Conference Publication | IEEE Xplore