Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. - Min Zhou 001; Fei He 001; Xiaoyu Song; Shi He; Gangyi Chen; Ming Gu 001 (Theory Comput. Syst., 2015)