圣地亚哥Ontañón;佩德罗·梅塞盖尔 使用约束编程和变量对称加快对特征项的操作。 (英语) Zbl 1328.68171号 Artif公司。智力。 220, 104-120 (2015).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Ontañón}和\textit{P.Meseguer},Artif。智力。220104-120(2015年;Zbl 1328.68171) 全文: 内政部
圣地亚哥Ontañón;Enric广场 精化图上的相似性度量。 (英语) Zbl 1238.68128号 机器。学习。 87,第1期,57-92(2012).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ontañón}和\textit{E.Plaza},马赫。学习。87,第1号,57-92(2012;Zbl 1238.68128) 全文: 内政部