Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions | IEEE Conference Publication | IEEE Xplore