@文章{zbMATH06641524，作者={Cohen，D.和Crampton，J.和Gagarin，A.以及Gutin，G.和Jones，M.}，标题={为计算约束而设计的工作流可满足性问题的算法}，FJournal={组合优化杂志}，期刊={J.Comb.Optim.}，ISSN={1382-6905}，体积={32}，数字={1}，页码={3--24}，年份={2016年}，语言={英语}，DOI={10.1007/s10878-015-9877-7}，关键词={90C27}，URL={orca.cf.ac.uk/93397/1504.02420v1.pdf}，zbMATH={6641524}，Zbl={1354.90105}}