Range reduction and infeasibility testing using surrogate equalities | ACM SIGMAP Bulletin | DeepDyve