大卫·艾普盖特;迪亚斯，马特奥;陆海浩;卢宾，迈尔斯 大规模线性规划的原-对偶混合梯度不可行检测。 （英语） 兹伯利07801126 SIAM J.Optim公司。 34，第1期，459-484（2024）.MSC公司：90C25型 65年第68季度 90C06型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Applegate｝等人，SIAM J.Optim。34，第1号，459--484（2024；Zbl 07801126） 全文： 内政部 arXiv公司
John W.钦奈克。 哈维·格林伯格：分析不可行的数学程序。 （英语） Zbl 1514.00022号 Allen Holder（编辑），Harvey J.Greenberg，《传统的桥接运筹学和计算》。查姆：斯普林格。国际序号。操作。资源管理。科学。295, 65-76 (2021). 审核人：托尔斯滕·博斯（阿贡） MSC公司：00A71号 65千5 68T20型 49公里40 90C05（二氧化碳） 90C06型 90立方厘米 90摄氏51度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Chinneck}，国际期刊。操作。资源管理。科学。295、65-76（2021年；Zbl 1514.00022） 全文： 内政部
克里斯蒂安·斯特纳格尔;Akihisa山田 重写终止和合流的可达性分析。 （英语） Zbl 1527.68119号 Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11427, 262-278 (2019).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sternagel}和\textit{A.Yamada}，莱克特。注释计算。科学。11427262-278（2019年；兹比尔1527.68119） 全文： 内政部
戈兰·班雅克;保罗·古拉特;巴尔托洛梅奥·斯特拉托;斯蒂芬·博伊德 凸优化乘数交替方向法中的不可行性检测。 （英语） Zbl 1429.90050 J.优化。理论应用。 183，编号2，490-519（2019）.MSC公司：90C25型 90C20个 90C06型 90C22型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Banjac}等人，J.Optim。理论应用。183，第2490-519号（2019年；兹bl 1429.90050） 全文： 内政部 链接
伊阿戈·卡瓦略。 关于算法不可行解计算实验的统计评估。 （英语） 兹比尔1478.68467 信息处理。莱特。 143, 24-27 (2019).MSC公司：68瓦99 62J15型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit｛I.A.卡瓦略｝，信息流程。莱特。143、24-27（2019年；Zbl 1478.68467） 全文： 内政部 arXiv公司
雅罗斯拉夫·本迪克;伊万娜·乔纳 最小不可满足子集枚举的领域无关方法的评估。 （英语） Zbl 1415.68184号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 131-142 (2018).MSC公司：68T20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}和\textit{I.Choerná}，EPiC Ser。计算。57、131--142（2018；Zbl 1415.68184） 全文： 内政部
伊姆克·乔曼;马克·佩奇（Marc E.Pfetsch）。 流网络最小不可约不可行子系统覆盖的复杂性。 （英语） Zbl 1387.05243号 离散应用程序。数学。 244, 124-142 (2018).MSC公司：05C82号 05C21号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Joormann}和\textit{M.E.Pfetsch}，离散应用。数学。244124-142（2018年；Zbl 1387.05243） 全文： 内政部
雅罗斯拉夫·本迪克;尼古拉·贝内斯;伊万娜·塞尔纳;吉尔·巴纳特 可调在线MUS/MSS枚举。 （英语） Zbl 1391.68099号 Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第50条，第13页。(2016).MSC公司：68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人，LIPIcs——莱布尼茨国际程序。通知。65，第50条，13~p.（2016；Zbl 1391.68099） 全文： 内政部 arXiv公司
迈赫迪·吉亚斯旺德 解决可行性问题的（O（mn\log（nU））时间算法。 （英语） Zbl 1228.90016号 申请。数学。建模 35，第11号，5276-5285（2011）.MSC公司：90B10型 68瓦40 90C60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghiyasvand}，应用。数学。建模35，编号11，5276-5285（2011年；Zbl 1228.90016） 全文： 内政部
苏米特·库马尔·贾阿;克里斯托弗·詹姆斯·兰米德 使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 （英语） Zbl 1211.92021号 西奥。计算。科学。 412，第21号，2162-2187（2011）.MSC公司：92C40型 92立方厘米 60年20日 62页第10页 65立方厘米20 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.K.Jha｝和\textit｛C.J.Langmead｝，Theor。计算。科学。412，编号212162——2187（2011年；兹bl 1211.92021） 全文： 内政部
布鲁尼，雷纳托 关于最小不可满足子公式的精确选择。 （英语） Zbl 1099.68105号 安。数学。Artif公司。智力。 43，编号1-4，35-50（2005）.MSC公司：68T27型 65年第68季度 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}，Ann.数学。Artif公司。智力。43，编号1--4，35-50（2005；Zbl 1099.68105） 全文： 内政部