@第{zbMATH06628782条，作者={Muise，Christian和Beck，J.Christopher和McIlraith，Sheila A.}，标题={通过{MaxSAT}}的最优偏序计划松弛，FJournal={人工智能研究杂志（JAIR）}，期刊={J.Artif.Intell.Res.（JAIR）}，ISSN={1076-9757}，体积={57}，页码={113--149}，年份={2016年}，语言={英语}，DOI={10.1613/jair.5128}，关键词={68T20}，zbMATH={6628782}，Zbl={1386.68155}}