@文章{zbMATH07159841，作者={廖小娟和小村美由纪}，Title={下联盟结构生成中{MaxSAT}编码的比较分析与改进{MC}-网络},FJournal={逻辑与计算杂志}，Journal＝{J.Log.Comput.}，ISSN={0955-792X}，体积={29}，数字={6}，页码={913--931}，年份={2019}，语言={英语}，DOI={10.1093/logcom/exz017}，关键词={68T42,68R07，68T20,91A10}，zbMATH={7159841}，Zbl={1430.68344}}