Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic
Crossref DOI link: https://doi.org/10.1007/s00224-014-9553-9
Published Online: 2014-06-13
Published Print: 2015-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhou, Min
He, Fei
Song, Xiaoyu
He, Shi
Chen, Gangyi
Gu, Ming
Text and Data Mining valid from 2014-06-13