@第{zbMATH07285109条，作者={Chen，Qian Matteo and Finzi，Alberto and Mancini，Toni and Melatti，Igor and Tronci，Enrico}，Title={{MILP}、伪{Boolean}和{OMT}求解器，用于任务关键型无线网络中中继节点的最佳容错放置}，FJournal={Fundamental Informaticae}，日志={Fundam.Inform.}，ISSN={0169-2968}，体积={174}，数字={3-4}，页码={229--258}，年份={2020年}，语言={英语}，DOI={10.3233/FI-2020-1941}，关键词={68T20,90B18}，zbMATH={7285109}，Zbl={1496.68300}}