@第{zbMATH01449093条，作者={de Klerk，Etienne and van Maaren，Hans and Warners，Joost P.}，Title={利用半定规划放松可满足性问题}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={24}，数字={1-2}，页码={37--65}，年份={2000}，语言={英语}，DOI={10.1023/A:1006362203438}，关键词={03B35,90C22,68Q25}，zbMATH={1449093}，Zbl={0965.03017}}