编辑配置文件（在新选项卡中打开） 卡洛斯·门西娅 合著者距离 作者ID: mencia.carlos公司 发布日期： 卡洛斯·门西娅 外部链接： ORCID公司 编入索引的文档： 12出版物自2013年起 合著者： 14合著者具有12联合出版物 216位合作作者 全部的 前5名合著者 0 单作者的 9 Joáo P.塞尔瓦侯爵。 4 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 三 亚历山德罗·普雷维蒂 三 拉米罗·瓦雷拉 2 Arif，M.Fareed先生 2 拉斐尔·佩尼亚洛萨 2 玛丽亚·塞拉。 1 琼·埃斯卡米拉 1 米科拉什·亚诺塔 1 马蒂·Järvisalo 1 奥利弗·库尔曼 1 诺伯特·曼恩 1 劳尔·门西娅 1 米盖尔·安杰尔·萨利多 系列 1 人工智能 1 人工智能通信 1 运筹学年鉴 1 自然计算 领域 11 计算机科学（68至XX） 三 运筹学、数学规划（90-XX） 1 数理逻辑与基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物被引用41中的次28文件 引用人▼ 年份▼ 命题公式上的极小集。问题和减少。 Zbl 1419.68098号 若昂·西尔瓦侯爵;米科拉什·亚诺塔;卡洛斯·门西娅 11 2017 Horn公式的有效MUS枚举及其公理精确定位应用。 Zbl 1471.68173号 Arif，M.Fareed先生;卡洛斯·门西娅;若昂·西尔瓦侯爵 6 2015 BEACON：一个高效的基于SAT的工具，用于调试（\mathcal{EL}^+\）本体。 Zbl 1475.68368号 Arif，M.Fareed先生;卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 6 2016 使用次线性oracle查询进行MCS提取。 Zbl 1475.68220号 卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;亚历山德罗·普雷维蒂;若昂·西尔瓦侯爵 5 2016 不一致Horn公式的有效推理。 Zbl 1483.68381号 若昂·西尔瓦侯爵;阿列克谢·伊格纳提耶夫;卡洛斯·门西娅;拉斐尔·佩尼亚洛萨 4 2016 关于MUS的并集计算。 Zbl 1441.68230号 卡洛斯·门西娅;奥利弗·库尔曼;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 三 2019 推理ASP中的强不一致性。 Zbl 07331031号 卡洛斯·门西娅;若昂·西尔瓦侯爵 三 2020 作业车间调度问题的深度优先启发式搜索。 Zbl 1271.90035号 卡洛斯·门西娅;玛丽亚·塞拉。;拉米罗·瓦雷拉 2 2013 通过缓存改进MCS枚举。 Zbl 1496.68258号 亚历山德罗·普雷维蒂;卡洛斯·门西娅;马蒂·Järvisalo;若昂·西尔瓦侯爵 1 2017 推理ASP中的强不一致性。 兹伯利07331031 卡洛斯·门西娅;若昂·西尔瓦侯爵 三 2020 关于计算MUSE的并集。 兹比尔1441.68230 卡洛斯·门西娅;奥利弗·库尔曼;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 三 2019 命题公式上的极小集。问题和减少。 Zbl 1419.68098号 若昂·西尔瓦侯爵;米科拉什·亚诺塔;卡洛斯·门西娅 11 2017 通过缓存改进MCS枚举。 Zbl 1496.68258号 亚历山德罗·普雷维蒂;卡洛斯·门西娅;马蒂·Järvisalo;若昂·西尔瓦侯爵 1 2017 BEACON：一个高效的基于SAT的工具，用于调试（\mathcal{EL}^+\）本体。 Zbl 1475.68368号 Arif，M.Fareed先生;卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵 6 2016 使用次线性oracle查询进行MCS提取。 Zbl 1475.68220号 卡洛斯·门西娅;阿列克谢·伊格纳提耶夫;亚历山德罗·普雷维蒂;若昂·西尔瓦侯爵 5 2016 不一致Horn公式的有效推理。 Zbl 1483.68381号 若昂·西尔瓦侯爵;阿列克谢·伊格纳提耶夫;卡洛斯·门西娅;拉斐尔·佩尼亚洛萨 4 2016 Horn公式的有效MUS枚举及其公理精确定位应用。 Zbl 1471.68173号 Arif，M.Fareed先生;卡洛斯·门西娅;若昂·西尔瓦侯爵 6 2015 作业车间调度问题的深度优先启发式搜索。 Zbl 1271.90035号 卡洛斯·门西娅;玛丽亚·塞拉。;拉米罗·瓦雷拉 2 2013 所有引用出版物 前5名被引用出版物 全部的 前5名62位作者引用 7 Joáo P.塞尔瓦侯爵。 5 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 5 拉斐尔·佩尼亚洛萨 4 卡洛斯·门西娅 三 马里奥·阿尔维亚诺 三 雅罗斯拉夫·本迪克 三 弗朗西斯科·里卡 2 艾丁·戈尔（Ebru Aydin Gol） 2 伊万娜·乔纳 2 卡明·多达罗 2 佛罗伦萨，萨尔瓦多 2 亚辛·伊扎 2 米科拉什·亚诺塔 2 亚历山德罗·普雷维蒂 2 艾哈迈特·塞肯 1 阿隆索-吉梅内斯，何塞·安东尼奥 1 Aranda-Corral，冈萨罗A。 1 Arif，M.Fareed先生 1 乌迈尔·阿里夫 1 克里斯蒂娜·巴兹根 1 罗伯特·本科奇。 1 杰里米亚斯·伯格 1 尼科尔·比多特 1 博雷戈·迪亚斯（Borrego-Díaz，Joaquín） 1 克里斯托弗·布朗（Christopher W.Brown）。 1 塞兰、伊斯梅尔·伊尔坎 1 陈菊红 1 马丁·库珀。 1 崔凯 1 Fernández-Lebrón，M.Magdalena 1 何塞·鲁伊·菲盖拉 1 大亚·拉姆·戈尔 1 安德烈亚·格雷罗。 1 法贾尔·海法尼 1 何显臣 1 黄轩翔 1 马蒂·Järvisalo 1 JoséHidalgo-Doblado，M。 1 拉梅什·克里希纳穆提 1 李铁军 1 林奇，因斯 1 马可凡 1 马，岳 1 Vasco M.Manquinho。 1 诺伯特·曼恩 1 库尔迪普·S·米尔。 1 劳尔·门西娅 1 杰里·穆斯托宁 1 妮娜·纳洛季斯卡 1 安德烈亚斯·尼斯卡宁 1 维克托·舒潘 1 巴尔·塞尔特卡亚 1 孙林辉 1 马蒂亚斯·蒂姆 1 费尔南多·瓦莱·恩里奎兹 1 丹尼尔·范德普顿 1 拉米罗·瓦雷拉 1 约翰·彼得·沃纳 1 王军 1 克里斯托夫·韦登巴赫 1 杨慧 1 张建民 全部的 前5名13篇连载文章中引用 5 人工智能 1 信息学报 1 离散应用数学 1 符号计算杂志 1 计算机与运筹学 1 自动推理杂志 1 国际近似推理杂志 1 运筹学年鉴 1 人工智能研究杂志 1 逻辑程序设计理论与实践 1 自然计算 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 26 计算机科学（68至XX） 4 运筹学、数学规划（90-XX） 三 数理逻辑与基础（03-XX） 按年份列出的引文