@第{zbMATH06923893条，作者={Ge，Cunjing and Ma，Feifei and Zhang，Peng and Zhang-Jian}，Title={计算和估计{SMT}（{LA}）约束}解空间的体积，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={743}，页码={110--129}，年份={2018年}，语言={英语}，DOI={10.1016/j.tcs.2016.10.019}，关键词={68T20,03B70,68U05}，zbMATH={6923893}，Zbl={1398.68491}}