扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 证据的语义框架。 (英语) Zbl 1425.68371号 J.自动化。推理 59,第3287-330号(2017).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chihani}等人,J.Autom。推理59,No.3,287--330(2017;Zbl 1425.68371) 全文: 内政部 哈尔
扎卡里亚·奇哈尼;布鲁诺·马尔;弗朗索瓦·博博特;塞巴斯蒂安·巴丁 位向量理论的锐化约束规划方法。 (英语) Zbl 1489.68249号 Salvagnin,Domenico(编辑)等人,《人工智能和OR技术在约束编程中的集成》。2017年6月5日至8日在意大利帕多瓦举行的2017年CPAIOR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10335, 3-20 (2017).MSC公司:68T20型 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chihani}等人,Lect。注释计算。科学。10335,3--20(2017;Zbl 1489.68249) 全文: 内政部 链接