阿尼萨·凯里丁;雷诺,艾蒂安;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 约束条件 28,编号1,45-66(2023).MSC公司:第68季度第60季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: 内政部
马蒂奥·扎瓦特里;爱丽丝·拉斐尔;达里奥·奥斯图尼;罗密欧·里兹 选言时间问题的跨学科实验评价。 (英语) Zbl 1522.68519号 约束条件 28,编号1,1-12(2023).MSC公司:68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Zavatteri}等人,《约束》28,第1期,第1-12页(2023年;Zbl 1522.68519) 全文: 内政部
罗伯特·巴格纳拉;阿布拉莫·巴格纳拉;法比奥·比塞利;米歇尔·齐亚里;罗伯塔·戈里 用于程序验证的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公司
恩里科Giunchilia;马可·马拉提亚;卢卡·普利纳 基于翻译的方法解决带有偏好的选言时态问题。 (英语) Zbl 1468.68201号 约束条件 23,第4号,383-402(2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《限制条件》23,第4期,383--402(2018年;Zbl 1468.68201) 全文: 内政部 链接
班科维奇,米兰 支持有限域的SMT求解器的扩展都不一样约束。 (英语) Zbl 1409.68266号 约束条件 21,第4期,463-494(2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banković},约束条件21,编号4,463-494(2016;Zbl 1409.68266) 全文: 内政部
马克·利菲顿(Mark H.Liffiton)。;亚历山德罗·普雷维蒂;阿马尔·马利克;若昂·西尔瓦侯爵 快速、灵活的MUS枚举。 (英语) Zbl 1334.90080号 约束条件 第2223-250号第21页(2016年).MSC公司:90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Liffiton}等人,《约束21》,第2期,223--250(2016;Zbl 1334.90080) 全文: 内政部
亚历山德罗·西马蒂;米其利,安德里亚;马可·罗维里 使用SMT解决不确定性时间问题的强可控性。 (英语) Zbl 1314.90043号 约束条件 20,第1号,1-29(2015).MSC公司:90B36型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《约束20》,第1期,1-29页(2015;Zbl 1314.90043) 全文: 内政部
安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;乔迪,飞机;若昂·西尔瓦侯爵 迭代和核心指导的maxsat求解:调查和评估。 (英语) Zbl 1317.90199号 约束条件 18,第4期,478-534(2013).MSC公司:90C09型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Morgado}等人,《约束18》,第4期,478--534(2013;Zbl 1317.90199) 全文: 内政部
米克尔波菲尔;米克尔帕拉西;Suy,约瑟普;马图·维拉雷特 用SAT模理论求解约束满足问题。 (英语) Zbl 1309.90099号 约束条件 17,第3号,273-303(2012).MSC公司:90立方 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bofill}等人,约束17,No.3,273--303(2012;Zbl 1309.90099) 全文: 内政部