编辑配置文件(在新选项卡中打开) 安德烈·阿布拉梅 合著者距离 作者ID: 阿布拉姆·安德烈 发布日期: 安德烈·阿布拉梅 已编制索引的文档: 3出版物自2015年起 合著者: 3位合著者具有3联合出版物 9位合作作者 合著者 0 单作者的 三 贾马尔·哈贝特 1 穆罕默德·萨米·谢里夫 1 多尼亚·图米 系列 1 人工智能 1 数学与人工智能年鉴 1 可满足性、布尔建模与计算杂志 字段 三 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 三出版物有被引用21中的次19文件 引用人▼ 年份▼ 改进可满足随机SAT实例的配置检查。 Zbl 1404.68136号 安德烈·阿布拉梅;贾马尔·哈贝特;多尼亚·图米 10 2017 ahmaxsat卫星:分支和绑定Max-SAT解算器的描述和计算。 Zbl 1484.68214号 安德烈·阿布拉梅;贾马尔·哈贝特 9 2015 通过高分辨率了解Max-SAT分辨率的威力。 Zbl 1504.68203号 穆罕默德·萨米·谢里夫;贾马尔·哈贝特;安德烈·阿布拉梅 2 2020 通过高分辨率了解Max-SAT分辨率的威力。 Zbl 1504.68203号 穆罕默德·萨米·谢里夫;贾马尔哈贝特;艾布拉梅,安德烈 2 2020 改进可满足随机\(k\)-SAT实例的配置检查。 Zbl 1404.68136号 安德烈·阿布拉梅;贾马尔·哈贝特;多尼亚·图米 10 2017 ahmaxsat卫星:分支和绑定Max-SAT解算器的描述和计算。 Zbl 1484.68214号 安德烈·阿布拉梅;贾马尔·哈贝特 9 2015 所有引用出版物 排名前五的出版物 全部的 前5名被46位作者引用 5 贾马尔·哈贝特 4 蔡少伟 4 李楚敏 4 尹明浩 三 穆罕默德·萨米·谢里夫 三 王一元 2 安德烈·阿布拉梅 2 丹尼尔·贝伦德 2 陈洁江 2 乔迪·科尔 2 戈兰,沙哈尔 2 何坤 2 罗,川 2 很多,费利普 2 皮·马蒂厄 2 Yochai Twitto 2 徐振兴 2 周俊平 1 萨米·谢哈比 1 约塞普·阿格利奇 1 Béjar,拉蒙 1 楚、易 1 达维多维奇,塔贾纳 1 塞萨尔·费尔南德斯。 1 内博伊沙·伊科迪诺维奇 1 吉佳 1 姜璐 1 杰罗姆·朗 1 林金坤 1 刘伯雄 1 卡莱斯·马图 1 杰罗姆·梅根 1 佐兰·奥格尼亚诺维奇 1 潘世伟 1 乔迪,飞机 1 马提亚斯·波洛切克 1 塔贾纳·斯托亚诺维奇 1 苏凯乐 1 多尼亚·图米 1 大卫·P·威廉姆森。 1 吴军 1 夏丽蓉 1 徐文浩 1 杨楠 1 埃利夫娜斯·扬金 1 你,海航 全部的 前5名10篇连载文章中引用 5 人工智能 三 数学与人工智能年鉴 2 计算机与运筹学 2 组合优化期刊 1 国际近似推理杂志 1 AI通信 1 欧洲运筹学杂志 1 人工智能研究杂志 1 ACM实验算法杂志 1 离散优化 在5个字段中引用 15 计算机科学(68-XX) 8 运筹学、数学规划(90-XX) 2 组合数学(05-XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文