Wei Gao, Hengyi Lv, Qiang Zhang, Dunbo Cai: Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method. Algorithms 11(9): 142 (2018)