编辑配置文件(在新选项卡中打开) 飞机,乔迪 合著者距离 作者ID: 约旦飞机 发布日期: 飞机,乔迪;平面,J。 外部链接: MGP公司·ORCID公司·数据库管理程序 已编制索引的文档: 13出版物自2005年以来 合著者: 14位合著者具有13联合出版物 169位合作作者 全部的 前5名合著者 0 单作者的 7 很多,费利普 5 李楚敏 4 Joáo P.塞尔瓦侯爵。 3 特蕾莎·阿尔辛 3 何塞普·阿盖利希 3 安托尼奥·莫尔加多 2 拉蒙·贝加尔 2 塞萨尔·费尔南德斯。 2 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 2 卡莱斯·马图 2 穆罕默德·乌尔德 1 费德里科·赫拉斯 1 马克·利菲顿(Mark H.Liffiton)。 1 Vasco M.Manquinho。 全部的 前5名系列 2 约束条件 1 国际近似推理杂志 1 AI通信 1 全球优化杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 可满足性、布尔建模与计算杂志 领域 12 计算机科学(68至XX) 3 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用186中的次103文件 引用人▼ 年份▼ 迭代和核心指导的maxsat求解:调查和评估。 Zbl 1317.90199号 安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;飞机,乔迪;若昂·西尔瓦侯爵 36 2013 Max-SAT的新推理规则。 Zbl 1182.68254号 李,C.M。;马尼亚,F。;平面,J。 36 2007 加权布尔优化算法。 Zbl 1247.68258号 Vasco Manquinho公司;若昂·西尔瓦侯爵;飞机,乔迪 27 2009 利用单位传播计算分支和边界max-SAT解算器中的下限。 Zbl 1153.68470号 李楚敏;很多,费利普;飞机,乔迪 19 2005 第一次和第二次Max-SAT评估。 Zbl 1159.68561号 何塞普·阿盖利希;李楚敏;很多,费利普;飞机,乔迪 18 2008 开发Max-SAT中的循环结构。 兹比尔1247.68256 李楚敏;很多,费利普;穆罕默德·努尔丁;飞机,乔迪 16 2009 改进了加权Max-SAT的精确解算器。 Zbl 1124.68429号 特蕾莎·阿尔辛;很多,费利普;飞机,乔迪 13 2005 MaxSAT中基于分辨率的下限。 Zbl 1208.68204号 李楚敏;很多,费利普;穆罕默德·乌尔德;飞机,乔迪 10 2010 加权Max-SAT的高效求解器。 Zbl 1146.90480号 特蕾莎·阿尔辛;很多,费利普;飞机,乔迪 5 2008 加权论证,用于分析推特上的讨论。 Zbl 1422.91606号 特蕾莎·阿尔辛;何塞普·阿盖利希;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;飞机,乔迪 4 2017 最大可伪造性。定义、算法和应用。 Zbl 1407.68453号 阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;飞机,乔迪;若昂·西尔瓦侯爵 2 2013 加权论证,用于分析推特上的讨论。 Zbl 1422.91606号 特蕾莎·阿尔辛;何塞普·阿盖利希;拉蒙·贝加尔;塞萨尔·费尔南德斯;卡莱斯·马图;飞机,乔迪 4 2017 迭代和核心指导的maxsat求解:调查和评估。 Zbl 1317.90199号 安东尼奥·莫尔加多;费德里科·赫拉斯;马克·利菲顿;飞机,乔迪;若昂·西尔瓦侯爵 36 2013 最大可伪造性。定义、算法和应用。 Zbl 1407.68453号 阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;飞机,乔迪;若昂·西尔瓦侯爵 2 2013 MaxSAT中基于分辨率的下限。 Zbl 1208.68204号 李楚敏;很多,费利普;穆罕默德·乌尔德;飞机,乔迪 10 2010 加权布尔优化算法。 Zbl 1247.68258号 Vasco Manquinho公司;若昂·西尔瓦侯爵;飞机,乔迪 27 2009 利用Max-SAT中的循环结构。 兹比尔1247.68256 李楚敏;很多,费利普;穆罕默德·努尔丁;飞机,乔迪 16 2009 第一次和第二次Max-SAT评估。 Zbl 1159.68561号 何塞普·阿盖利希;李楚敏;很多,费利普;飞机,乔迪 18 2008 加权Max-SAT的高效求解器。 Zbl 1146.90480号 特蕾莎·阿尔辛;很多,费利普;飞机,乔迪 5 2008 Max-SAT的新推理规则。 Zbl 1182.68254号 李,C.M。;马尼亚,F。;平面,J。 36 2007 利用单位传播计算分支和边界max-SAT解算器中的下限。 Zbl 1153.68470号 李楚敏;很多,费利普;飞机,乔迪 19 2005 改进了加权Max-SAT的精确解算器。 Zbl 1124.68429号 特蕾莎·阿尔辛;很多,费利普;飞机,乔迪 13 2005 所有引用出版物 前5名被引用出版物 全部的 前5名195位作者引用 13 Joáo P.塞尔瓦侯爵。 10 很多,费利普 9 李楚敏 6 何塞普·阿盖利希 6 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 5 卡洛斯·安索特吉 5 丹尼尔·贝伦德 5 贾马尔·哈贝特 5 林奇,因斯 5 飞机,乔迪 5 Yochai的Twitto 4 戈兰,沙哈尔 4 米科拉什·亚诺塔 3 马里奥·阿尔维亚诺 3 玛丽亚·路易莎·博内 3 蔡少伟 3 穆罕默德·萨米·谢里夫 3 乔尔·加布 3 何坤 3 费德里科·赫拉斯 3 约尔迪·利维 3 马克·利菲顿(Mark H.Liffiton)。 3 Vasco M.Manquinho。 3 安托尼奥·莫尔加多 3 苏凯乐 2 艾布拉梅,安德烈 2 拉蒙·贝加尔 2 杰里米亚斯·伯格 2 米克尔波菲尔 2 乔迪·科尔 2 西蒙·德·吉夫里 2 卡明·多达罗 2 恩里科·金西格里亚 2 安娜·格拉萨 2 马蒂·Järvisalo 2 哈维尔·拉罗萨 2 罗,川 2 马可·马拉提亚 2 鲁本·马丁斯 2 卡洛斯·门西娅 2 穆罕默德·乌尔德 2 罗伯特·纽文胡斯 2 拉斐尔·佩尼亚洛萨 2 马提亚斯·波洛切克 2 亚历山德罗·普雷维蒂 2 皮·马蒂厄 2 沈海鸥 2 谭丽星 2 维拉雷特,马特乌 2 大卫·P·威廉姆森。 2 徐振兴 2 张汉涛 2 张金金 2 朱兆辉 2 卓、汉克斯、汉奎 1 伊格纳西·阿比奥 1 巴拉西姆·萨迪 1 塔斯尼姆·纳赛尔·叶海亚 1 特蕾莎·阿尔辛 1 罗伯托·阿辛·阿查 1 阿西恩,AcháRoberto 1 萨米·巴德雷丁 1 戴维·巴内雷斯 1 哈立德省贝拉新世 1 丹尼尔·宾克利·雷布尔 1 布斯克茨,迪达 1 Samuel R.巴斯。 1 阿尔巴州卡比斯科 1 乔尔·塞梅利 1 Supratik查克拉博蒂 1 陈剑儿 1 安德烈·奥古斯托·西雷 1 马丁·库珀。 1 朱卡·科兰德 1 弗朗西斯科·科尔曼 1 西尔万·达拉斯 1 阿图尔·达维拉·加塞斯。 1 格劳贝尔·德博纳 1 吉尔·迪肯 1 Deters,摩根 1 劳雷·德文德维尔 1 伊曼纽尔·迪·罗莎 1 马西米利亚诺·迪文特拉 1 穆罕默德·埃尔巴奇尔·梅奈 1 侯赛因·法尔萨芬 1 范毅 1 塞萨尔·费尔南德斯。 1 亨宁费尔瑙 1 马塞洛·芬格 1 奥利维尔·福德里诺伊 1 油炸,Dror 1 藤田,广岛 1 马丁·格布瑟 1 纳赛尔·加迪里 1 比什瓦米特拉·戈什 1 埃里克·格雷戈伊尔 1 原口,卡祖亚 1 约翰·胡克(John N.jun Hooker)。 1 黄平 1 黄文轩 …还有95位作者 全部的 前5名31篇连载文章中引用 19 人工智能 8 约束条件 6 数学与人工智能年鉴 5 可满足性、布尔建模与计算杂志 4 离散优化 3 启发式杂志 2 算法 2 计算机与运筹学 2 国际近似推理杂志 2 AI通信 2 运筹学年鉴 2 人工智能研究杂志 2 优化信函 1 应用数学与计算 1 计算与应用数学杂志 1 理论计算机科学 1 计算机科学与技术杂志 1 自动推理杂志 1 欧洲运筹学杂志 1 数学编程。A系列B系列 1 系统设计中的形式化方法 1 信息计算杂志 1 软计算 1 组合优化期刊 1 计算机基础理论 1 逻辑程序设计理论与实践 1 机器学习研究杂志(JMLR) 1 ACM实验算法杂志 1 离散算法杂志 1 统计与计算 1 理论生物学杂志 全部的 前5名在8个字段中引用 80 计算机科学(68至XX) 33 运筹学、数学规划(90-XX) 5 数学逻辑和基础(03-XX) 2 统计学(62-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 按年份列出的引文