@第{zbMATH05149178条，作者={Bailleux，Olivier and Marquis，Pierre}，标题={{DISTANCE}{SAT}}的一些计算方面，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={37}，数字={4}，页码={231--260}，年份={2006}，语言={英语}，DOI={10.1007/s10817-006-9063-9}，关键词={68T20,68Q25,68T15,03B05}，zbMATH={5149178}，Zbl={1113.68096}}