Solving constraints over the reals-a multi-solver approach | IEEE Conference Publication | IEEE Xplore