阿尼萨·凯里丁;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 约束条件 28,编号1,45-66(2023).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: 内政部
罗伯托·巴格纳拉;阿布拉莫·巴格纳拉;法比奥·比塞利;米歇尔·齐亚里;罗伯塔·戈里 用于程序验证的IEEE 754浮点算法的正确近似。 (英语) Zbl 1490.68078号 约束条件 27,编号1-2,29-69(2022).MSC公司:68号30 65克50 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人,《限制条件》27,编号1--2,29-69(2022;Zbl 1490.68078) 全文: 内政部 arXiv公司
罗德里格·科南·钦达;贾梅尼、克莱门汀·塔尤 证明基于动态对称处理的SAT解算器的UNSAT结果。 (英语) Zbl 1508.68349号 约束条件 25,编号3-4,251-279(2020).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Tchinda}和\textit{C.T.Djamegni},约束25,No.3--4,251--279(2020;Zbl 1508.68349) 全文: 内政部
卡洛·科明;罗伯托·波塞纳托;罗密欧·里兹 超时间网络。简单时间网络的一个易处理的推广及其与平均支付博弈的关系。 (英语) Zbl 1390.90102号 约束条件 22,第2期,152-190(2017).MSC公司:90B10型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Comin}等人,《约束》22,第2期,152--190(2017;Zbl 1390.90102) 全文: 内政部
阿列克谢·伊格纳提耶夫;米科拉什·亚诺塔;若昂·西尔瓦侯爵 量化最大可满足性。 (英语) Zbl 1334.90075号 约束条件 21,第2期,277-302(2016).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,《约束21》,第2期,277--302(2016;Zbl 1334.90075) 全文: 内政部
赫莱内·科拉维扎;米歇尔·鲁赫;帕斯卡·范·亨特利克 CPBPV:用于有界程序验证的约束编程框架。 (英语) Zbl 1213.68173号 约束条件 15,第2期,238-264(2010).MSC公司:68N17号 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Collavizza}等人,《约束15》,第2期,238--264(2010年;Zbl 1213.68173) 全文: 内政部 哈尔
阿什什·萨巴沃尔 SymChaff公司:在结构软件可满足性求解器中利用对称性。 (英语) 兹比尔1186.68442 约束条件 14,第4期,478-505(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Sabharwal},约束14,No.4,478--505(2009;Zbl 1186.68442) 全文: 内政部