特蕾莎·阿尔辛;约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡勒斯,马特乌;乔迪,飞机 加权论证,用于分析推特上的讨论。 (英语) Zbl 1422.91606号 国际J近似推理 85, 21-35 (2017).MSC公司:91天30分 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人,国际期刊近似推理85,21-35(2017;Zbl 1422.91606) 全文: 内政部 链接
约塞普·阿格利奇;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡勒斯,马特乌;乔迪,飞机 关于MaxSAT和MinSAT解算器在2SAT MaxOnes上的性能。 (英语) 兹比尔1401.68283 安。数学。Artif公司。智力。 77,编号1-2,43-66(2016).MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Argelich}等人,《数学年鉴》。Artif公司。智力。77号1--2、43-66(2016;Zbl 1401.68283) 全文: 内政部 链接
特蕾莎·阿尔辛;拉蒙·贝加尔;塞萨尔·费尔南德斯;弗朗西斯科·吉塔特;卡勒斯,马特乌 使用冲突驱动的ASP解算器解决路由和波长分配问题。 (英语) Zbl 1373.68034号 AI社区。 28,第1号,21-34(2015).MSC公司:68M10个 68N17号 68兰特 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Alsinet}等人,AI Commun。28、第1号、第21-34号(2015;Zbl 1373.68034) 全文: 内政部
卡洛斯·安索特吉;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡勒斯,马特乌 关于将边缘匹配难题作为SAT或CSP问题解决的难度。 (英语) Zbl 1310.05055号 约束条件 18,第1期,7-37(2013).MSC公司:05B40号 05年5月50日 52C20个 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ansótegui}等人,《约束18》,第1期,第7-37页(2013年;Zbl 1310.05055) 全文: 内政部
拉蒙·贝加尔;塞萨尔·费尔南德斯;卡勒斯,马特乌;瓦尔斯,马格达 矩形孔模式的数独完成问题是NP-完全的。 (英语) Zbl 1252.05019号 离散数学。 312,第22号,3306-3315(2012).MSC公司:05B15号 PDF格式BibTeX公司 XML格式引用 \textit{R.Béjar}等人,《离散数学》。312、22号、3306--3315(2012;Zbl 1252.05019) 全文: 内政部