巴特·德梅恩;玛丽亚·加西亚·德拉班达 多余的数独规则。 (英语) Zbl 1312.68035号 理论与实践。日志。程序。 14,第3期,363-377(2014).MSC公司:68N17号 05B15号 PDF格式BibTeX公司 XML格式引用 \textit{B.Demoen}和\textit{M.Garcia de la Banda},理论与实践。日志。程序。14,第3号,363--377(2014;Zbl 1312.68035) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;玛丽亚·加西亚·德·拉班达;米盖尔·戈梅斯·扎马洛亚;何塞·米盖尔·罗哈斯;斯塔基,彼得 用于生成测试用例的CLP堆解算器。 (英语) Zbl 1286.68065号 理论与实践。日志。程序。 13,No.4-5,721-735(2013).MSC公司:68号30 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。13、编号4--5、721--735(2013;Zbl 1286.68065) 全文: 内政部
玛丽亚·加西亚·德拉班达(编辑);恩里科·蓬泰利(编辑) 特刊:根据2008年12月9日至13日在意大利乌迪内举行的2008年ICLP第24届逻辑编程国际会议上的演示文稿选出的论文。 (英语) Zbl 1245.03009号 理论与实践。日志。程序。11,No.2-3,131-427(2011)。 MSC公司:03-06 03B70号 68N17号 00时25分 PDF格式BibTeX公司 XML格式
汤姆·施里杰弗斯;巴特·德梅恩;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。 改进PARMA跟踪。 (英语) Zbl 1108.68029号 理论与实践。日志。程序。 6,第6期,609-644(2006).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,《理论与实践》。日志。程序。6,第6号,609--644(2006;Zbl 1108.68029) 全文: 内政部
玛丽亚·加西亚·德·拉班达;哈维·沃里克;金·万豪酒店;彼得·斯图基(Peter J.Stuckey)。;巴特·德梅恩 检查HAL程序的模式。 (英语) Zbl 1083.68019号 理论与实践。日志。程序。 5,第6号,623-667(2005).MSC公司:68N17号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.García de la Banda}等人,《理论与实践》。日志。程序。5,第6号,623--667(2005;Zbl 1083.68019) 全文: 内政部
克里斯蒂安·霍尔兹鲍尔;玛丽亚·加西亚·德拉班达;彼得·斯图基(Peter J.Stuckey)。;格雷戈里·杜克。 优化HAL中约束处理规则的编译。 (英语) Zbl 1104.68010号 理论与实践。日志。程序。 5,编号4-5503-531(2005).MSC公司:68N17号 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Holzbaur}等人,理论与实践。日志。程序。5、编号4--5、503--531(2005;Zbl 1104.68010) 全文: 内政部