卞正兵;费边·丘达克;威廉·麦克雷迪;艾丹·罗伊;罗伯托·塞巴斯蒂亚尼;斯特凡诺·瓦罗蒂 用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果。 (英语) Zbl 1496.68298号 Inf.计算。 275,文章ID 104609,35 p.(2020).MSC公司:68T20型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bian}等人,《信息计算》。275,文章ID 104609,35 p.(2020;Zbl 1496.68298) 全文: 内政部 arXiv公司
马可·波扎诺;罗伯特·布鲁托梅索;亚历山德罗·西马蒂;汤米·琼蒂拉;西尔维奥·兰伊斯;彼得·范·罗苏姆;罗伯托·塞巴斯蒂亚尼 通过布尔搜索进行有效的理论组合。 (英语) Zbl 1137.68578号 Inf.计算。 204,第10期,1493-1525(2006).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《信息计算》。204,第10号,1493-1525(2006;Zbl 1137.68578) 全文: 内政部
福斯托·金奇利亚;罗伯托·塞巴斯蒂亚尼 从命题决策过程构建模态逻辑的决策过程:模态\(K(m)\)的案例研究。 (英语) 兹比尔1033.03509 Inf.计算。 162,编号1-2,158-178(2000).MSC公司:03B45 03B35型 68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{R.Sebastiani},信息计算。162,编号1--2,158--178(2000;Zbl 1033.03509) 全文: 内政部