@第{zbMATH01770444条，作者={Hansen，Pierre and Jaumard，Brigitte and Poggi de Arag，Marcus and Chauny，Fabien and Perron，Sylvain}，标题={概率不精确的概率可满足性}，FJournal={国际近似推理杂志}，期刊={国际期刊近似推理}，ISSN={0888-613X}，体积={24}，数字={2-3}，页码={171--189}，年份={2000}，语言={英语}，DOI={10.1016/S0888-613X（00）00033-5}，关键词={68T37,90C15}，zbMATH={1770444}，Zbl={0995.68122}}