编辑配置文件（在新选项卡中打开） 穆罕默德·伊盖内拉拉 合著者距离 作者ID： 伊格内拉莫哈米德 发布日期： 穆罕默德·伊盖内拉拉 外部链接： MGP公司 已编制索引的文档： 3出版物自2011年起 合著者： 6位合著者具有3联合出版物 125位Co-Co作者 全部的 前5名合著者 0 单作者的 三 Sylvain Conchon公司 三 伊芙琳·孔特让 1 弗朗索瓦·博博特 1 阿西亚·马布比 1 阿兰·梅布苏特 1 纪尧姆·梅尔金德 系列 1 计算机科学中的逻辑方法 领域 三 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次5文件 引用人▼ 年份▼ 基于单纯形的Fourier-Motzkin扩展，用于求解线性整数算法。 Zbl 1358.68249号 弗朗索瓦·博博特;Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊盖内拉拉;阿西亚·马布比;阿拉巴马州迈布苏特;纪尧姆·梅尔金德 三 2012 肖斯塔克理论的经典重写和地面AC完成模块：设计和实现。 Zbl 1253.68291号 Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊盖内拉拉 2 2012 基于单纯形的Fourier-Motzkin扩展，用于求解线性整数算法。 Zbl 1358.68249号 弗朗索瓦·博伯特;Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊盖内拉拉;阿西亚·马布比;阿兰·梅布苏特;纪尧姆·梅尔金德 三 2012 肖斯塔克理论的经典重写和地面AC完成模块：设计和实现。 Zbl 1253.68291号 Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊盖内拉拉 2 2012 全部的 前5名21位作者引用 2 马丁·布隆伯格 2 克里斯托夫·韦登巴赫 1 约翰·A·阿伯特。 1 艾丽卡·阿尔布拉汉姆 1 贝恩德·贝克尔 1 安娜·玛丽亚·比加蒂 1 布莱恩，马丁 1 布赫伯格，布鲁诺 1 亚历山德罗·西马蒂 1 Sylvain Conchon公司 1 伊芙琳·孔特让 1 詹姆斯·哈罗德·达文波特 1 英格兰，Matthew 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 阿尔贝托·格里乔 1 穆罕默德·伊盖内拉拉 1 丹尼尔·科宁 1 何塞·梅塞盖尔·瓜伊塔 1 Werner M.塞勒。 1 托马斯·斯特姆 连载1篇 1 系统设计中的形式化方法 在3个字段中引用 5 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文