Experiments with UNA for solving linear constraints in real variables. - Neelam Gupta; YongJun Cho; Mohammad Z. Hossain (SAC, 2004)