威廉·林;卡列夫·卡斯克;哈维尔·拉罗萨;丽娜·德希特 与/或最佳优先搜索的子问题排序启发式。 (英语) Zbl 1390.68602号 J.计算。系统。科学。 94, 41-62 (2018).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Lam}等人,《计算杂志》。系统。科学。94、41-62(2018;Zbl 1390.68602) 全文: 内政部 链接
哈维尔·拉罗萨;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 用于认证布尔分支定界优化的框架。 (英语) Zbl 1213.68581号 J.汽车。推理 46,第1期,81-102(2011).MSC公司:68T20型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人,J.Autom。推理46,No.1,81--102(2011;Zbl 1213.68581) 全文: 内政部
哈维尔·拉罗萨;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 用于布尔优化和生成优化证书的分支和绑定。 (英语) Zbl 1247.68255号 Kullmann,Oliver(编辑),可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02776-5/pbk)。计算机科学课堂讲稿5584,453-466(2009)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人,Lect。注释计算。科学。5584、453--466(2009年;Zbl 1247.68255) 全文: 内政部
哈维尔·拉罗萨;费德里科·赫拉斯;西蒙·德·吉夫里 高效Max-SAT求解的逻辑方法。 (英语) Zbl 1182.68253号 Artif公司。智力。 172,编号2-3,204-233(2008).MSC公司:68T20型 03B35型 65年第68季度 68吨15 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人,Artif。智力。172,编号2--3,204-233(2008;Zbl 1182.68253) 全文: 内政部
费德里科·赫拉斯;哈维尔·拉罗萨 基于DAC的WCSP求解器中的智能变量排序和重新排序。 (英语) 兹比尔1125.90041 J.启发式 12,编号4-5,287-306(2006).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Heras}和\textit{J.Larrosa},《启发式12》,第4--5287--306号(2006;Zbl 1125.90041) 全文: 内政部
爱玛·罗隆;哈维尔·拉罗萨 多目标优化问题的桶消元法。 (英语) Zbl 1125.90046号 J.启发式 12,编号4-5307-328(2006).MSC公司:90C29型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Rollón}和\textit{J.Larrosa},J.启发式12,第4--5307--328号(2006;Zbl 1125.90046) 全文: 内政部
哈维尔·拉罗萨;托马斯·希克斯 通过保持电弧一致性解决加权CSP。 (英语) Zbl 1086.68592号 Artif公司。智力。 159,第1-2、1-26号(2004).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}和\textit{T.Schiex},Artif。智力。159,编号1--2,1--26(2004;Zbl 1086.68592) 全文: 内政部
哈维尔·拉罗萨;佩德罗·梅塞格尔;托马斯·希克斯 维护Max-CSP的可逆DAC。 (英语) Zbl 0911.68064号 Artif公司。智力。 107,第1期,149-163(1999).MSC公司:68宽10 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Larrosa}等人,Artif。智力。107,第1号,149--163(1999;Zbl 0911.68064) 全文: 内政部