大卫·布雷索林;费尔南多·吉梅内斯;格拉西亚·桑切斯;圭多·西亚维科 多目标元启发式区间时序逻辑公式的有限可满足性。 (英语) Zbl 1400.68196号 J.穆特-有效日志。软计算。 28,编号2-3,217-249(2017).MSC公司:68T20型 03B44号 90C29型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Mult-有效日志。软计算。28、编号2--3、217--249(2017;Zbl 1400.68196) 全文: 链接
若昂·西尔瓦侯爵 计算最小不可满足子公式:现状和未来方向。 (英语) Zbl 1394.68359号 J.穆特-有效日志。软计算。 19,编号1-3,163-183(2012).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva},J.Mult-有效日志。软计算。19,编号1--3,163-183(2012;Zbl 1394.68359) 全文: 链接
李湘;黄浩珊 可信满意度和可信蕴涵。 (英语) Zbl 1236.68240号 J.穆特-有效日志。软计算。 16,编号1-2105-134(2010).MSC公司:68层37 03B50号 68T27型 68立方英尺 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}和\textit{H.-S.Wong},J.Mult-有效日志。软计算。16,编号1-2105-134(2010年;兹bl 1236.68240)
丹尼尔·格罗;罗伯特·威利;杰哈德·杜克(Gerhard W.Dueck)。;罗尔夫·德雷克斯勒 基本量子门电路的精确综合。 (英语) Zbl 1236.94098号 J.穆特-有效日志。软计算。 15,第4期,283-300(2009).MSC公司:94立方厘米10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.Große}等人,J.Mult-有效日志。软计算。15,第4号,283--300(2009;Zbl 1236.94098)