编辑配置文件（在新选项卡中打开） 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 合著者距离 作者ID： ignatyev.alexey-a公司 发布日期： 阿列克谢·伊格纳提耶夫；阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。；阿列克谢·伊格纳提耶夫；A.伊格纳提耶夫。 更多。。。较少的 已编制索引的文档： 31出版物自1999年以来 合著者： 33位合著者具有26联合出版物 675位合作作者 全部的 前5名合著者 5 单作者的 23 Joáo P.塞尔瓦侯爵。 10 安托尼奥·莫尔加多 4 卡洛斯·门西娅 三 尼娜·纳罗季斯卡 2 玛丽亚·路易莎·博内 2 Samuel R.巴斯。 2 亚辛·伊扎 2 米科拉什·亚诺塔 2 拉斐尔·佩尼亚洛萨 2 乔迪，飞机 2 亚历山德罗·普雷维蒂 1 阿里夫·M·法里德 1 弗朗索瓦·博克斯 1 马丁·库珀。 1 黄轩翔 1 斯蒂芬·科切马佐夫 1 奥利弗·库尔曼 1 皮埃尔·勒·博迪奇 1 李、丁 1 林奇，因斯 1 Vasco M.Manquinho。 1 诺伯特·曼恩 1 Kuldeep S.梅尔。 1 查尔斯·默克尔。 1 费利佩·佩雷拉 1 玛丽亚·维托里亚·萨尔维蒂 1 Aleksandr Anatol’evich塞梅诺夫 1 Aditya A.Shrotri。 1 埃多尔多·西尼巴尔迪 1 彼得·詹姆斯·斯塔基 1 弗拉基米尔·乌尔扬采夫 1 于金强 1 伊利亚·扎基尔扎诺夫 全部的 前5名系列 2 Mekhanika Tverdogo Tela公司 2 人工智能研究杂志 1 人工智能 1 国际近似推理杂志 1 人工智能通信 1 约束条件 1 特鲁迪研究所PrikladnoĭMatematiki i Mekhaniki 1 Matematicheskoe Modelirovanie公司 1 欧洲应用和工业数学系列（ESAIM）：数学建模和数值分析 1 可满足性、布尔建模与计算杂志 全部的 前5名领域 24 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 三 常微分方程（34-XX） 2 粒子和系统力学（70-XX） 2 流体力学（76-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 组合数学（05-XX） 1 数值分析（65-XX） 1 经典热力学，传热（80-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用140中的次98文件 引用人▼ 年份▼ PySAT：一个使用SAT oracles进行原型制作的Python工具包。 Zbl 1484.68215号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 27 2018 一种基于SAT的学习可解释决策集的方法。 Zbl 1511.68249号 阿列克谢·伊格纳提耶夫；菲利佩·佩雷拉；尼娜·纳罗季斯卡；若昂·西尔瓦侯爵 16 2018 RC2：一个高效的MaxSAT解算器。 Zbl 1484.68216号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 12 2019 最大可满足性的进展。 Zbl 1366.68266号 A.伊格纳提耶夫。；A.莫尔加多。；V·曼奎尼奥。；林奇，I。；马奎斯·西尔瓦，J。 8 2014 使用模型计数评估启发式机器学习解释。 Zbl 1441.68211号 尼娜·纳罗季斯卡；阿迪蒂亚·什洛特里；Kuldeep S.梅尔。；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 8 2019 关于解决SAT解决中分辨率的限制。 Zbl 1496.68368号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 6 2017 BEACON：一种高效的基于SAT的工具，用于调试\（\mathcal｛EL｝^+\）本体。 Zbl 1475.68368号 阿里夫·M·法里德；卡洛斯·门西娅；阿列克谢·伊格纳提耶夫；诺伯特·曼恩；拉斐尔·佩尼亚洛萨；若昂·西尔瓦侯爵 6 2016 量化最大可满足性。 Zbl 1334.90075号 阿列克谢·伊格纳提耶夫；米科拉什·亚诺塔；若昂·西尔瓦侯爵 6 2016 使用SAT学习最优决策集和列表。 Zbl 1522.68489号 于金强；阿列克谢·伊格纳提耶夫；彼得·斯图基（Peter J.Stuckey）。；皮埃尔·勒·博迪奇 6 2021 使用次线性oracle查询进行MCS提取。 Zbl 1475.68220号 卡洛斯·门西娅；阿列克谢·伊格纳提耶夫；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵 5 2016 量化最大可满足性：一种核心指导方法。 Zbl 1390.68598号 阿列克谢·伊格纳提耶夫；米科拉什·亚诺塔；若昂·西尔瓦侯爵 5 2013 水翼周围无空化和空化液体流动的数值研究。 Zbl 1130.76019号 弗朗索瓦·博克斯；玛丽亚·维托里亚·萨尔维蒂；阿列克谢·伊格纳提耶夫；李、丁；查尔斯·默克尔；埃多尔多·西尼巴尔迪 4 2005 不一致Horn公式的有效推理。 Zbl 1483.68381号 若昂·西尔瓦侯爵；阿列克谢·伊格纳提耶夫；卡洛斯·门西娅；拉斐尔·佩尼亚洛萨 4 2016 关于将最大独立集降为最小可满足性。 Zbl 1423.68452号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 4 2014 关于处理决策树中的解释冗余。 Zbl 07603113号 亚辛·伊扎；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 4 2022 基于SAT的决策列表的严格解释。 Zbl 07495578号 阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 4 2021 关于MUS的并集计算。 Zbl 1441.68230号 卡洛斯·门西娅；奥利弗·库尔曼；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 4 2019 带有MaxHS的DRMaxSAT：第一个联系人。 Zbl 1441.68232号 安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎·博内；若昂·西尔瓦侯爵；萨姆·巴斯 三 2019 DPLL+ROBDD派生应用于某些密码函数的反演。 Zbl 1330.68270号 阿列克谢·伊格纳提耶夫；亚历山大·塞梅诺夫 2 2011 基于SAT的最小DFA推理的有效对称破缺。 Zbl 1425.68240号 伊利亚·扎基尔扎诺夫；安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；弗拉基米尔·乌利扬采夫；若昂·西尔瓦侯爵 2 2019 最大可伪造性。定义、算法和应用。 Zbl 1407.68453号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；乔迪，飞机；若昂·西尔瓦侯爵 2 2013 基于SAT的公式简化。 Zbl 1471.68245号 阿列克谢·伊格纳提耶夫；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵 2 2015 关于处理决策树中的解释冗余。 Zbl 07603113号 亚辛·伊扎；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 4 2022 使用SAT学习最优决策集和列表。 Zbl 1522.68489号 于金强；阿列克谢·伊格纳提耶夫；彼得·斯图基（Peter J.Stuckey）。；皮埃尔·勒·博迪奇 6 2021 基于SAT的决策列表的严格解释。 Zbl 07495578号 阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 4 2021 RC2：一个高效的MaxSAT解算器。 Zbl 1484.68216号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 12 2019 使用模型计数评估启发式机器学习解释。 Zbl 1441.68211号 尼娜·纳罗季斯卡；阿迪蒂亚·什洛特里；Kuldeep S.梅尔。；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 8 2019 关于MUS的并集计算。 Zbl 1441.68230号 卡洛斯·门西娅；奥利弗·库尔曼；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 4 2019 DRMaxSAT与MaxHS：第一次接触。 Zbl 1441.68232号 安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎·博内；若昂·西尔瓦侯爵；萨姆·巴斯 三 2019 基于SAT的最小DFA推理的有效对称破缺。 Zbl 1425.68240号 伊利亚·扎基尔扎诺夫；安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；弗拉基米尔·乌利扬采夫；若昂·西尔瓦侯爵 2 2019 PySAT：一个使用SAT oracles进行原型制作的Python工具包。 Zbl 1484.68215号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 27 2018 一种基于SAT的学习可解释决策集的方法。 Zbl 1511.68249号 阿列克谢·伊格纳提耶夫；菲利佩·佩雷拉；尼娜·纳罗季斯卡；若昂·西尔瓦侯爵 16 2018 关于解决SAT解决中分辨率的限制。 兹比尔1496.68368 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 6 2017 BEACON：一个高效的基于SAT的工具，用于调试（\mathcal{EL}^+\）本体。 Zbl 1475.68368号 阿里夫·M·法里德；卡洛斯·门西娅；阿列克谢·伊格纳提耶夫；诺伯特·曼恩；拉斐尔·佩尼亚洛萨；若昂·西尔瓦侯爵 6 2016 量化最大可满足性。 Zbl 1334.90075号 阿列克谢·伊格纳提耶夫；米科拉什·亚诺塔；若昂·西尔瓦侯爵 6 2016 使用次线性oracle查询进行MCS提取。 Zbl 1475.68220号 卡洛斯·门西娅；阿列克谢·伊格纳提耶夫；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵 5 2016 不一致Horn公式的有效推理。 Zbl 1483.68381号 若昂·西尔瓦侯爵；阿列克谢·伊格纳提耶夫；卡洛斯·门西娅；拉斐尔·佩尼亚洛萨 4 2016 基于SAT的公式简化。 Zbl 1471.68245号 阿列克谢·伊格纳提耶夫；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵 2 2015 最大可满足性的进展。 Zbl 1366.68266号 A.伊格纳提耶夫。；Morgado，A。；V·曼奎尼奥。；林奇，I。；马奎斯·西尔瓦，J。 8 2014 关于将最大独立集降为最小可满足性。 Zbl 1423.68452号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵 4 2014 量化最大可满足性：一种核心指导方法。 Zbl 1390.68598号 阿列克谢·伊格纳提耶夫；米科拉什·亚诺塔；若昂·西尔瓦侯爵 5 2013 最大可伪造性。定义、算法和应用。 Zbl 1407.68453号 阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；乔迪，飞机；若昂·西尔瓦侯爵 2 2013 DPLL+ROBDD派生应用于某些密码函数的反演。 Zbl 1330.68270号 阿列克谢·伊格纳提耶夫；亚历山大·塞梅诺夫 2 2011 水翼周围无空化和空化液体流动的数值研究。 Zbl 1130.76019号 弗朗索瓦·博克斯；玛丽亚·维托里亚·萨尔维蒂；阿列克谢·伊格纳提耶夫；李、丁；查尔斯·默克尔；埃多尔多·西尼巴尔迪 4 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名250位作者引用 13 Joáo P.塞尔瓦侯爵。 10 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 5 米科拉什·亚诺塔 4 贾马尔·哈贝特 4 拉斐尔·佩尼亚洛萨 三 弗朗索瓦·博克斯 三 穆罕默德·萨米·谢里夫 三 鲁本·马丁斯 三 卡洛斯·门西娅 三 安托尼奥·莫尔加多 三 玛丽亚·维托里亚·萨尔维蒂 三 Aleksandr Anatol’evich塞梅诺夫 三 彼得·詹姆斯·斯塔基 三 斯泽德，斯特凡 2 阿尔夫·罗查，蒂亚戈 2 雅罗斯拉夫·本迪克 2 杰里米亚斯·伯格 2 埃米利奥·卡里佐萨 2 乔迪·科尔 2 马丁·库珀。 2 亚辛·伊扎 2 马蒂·Järvisalo 2 索拉巴·乔希 2 斯蒂芬·科切马佐夫 2 彼得·库切拉 2 李楚敏 2 林奇，因斯 2 Vasco M.Manquinho。 2 很多，费利普 2 弗朗西克勃·马丁斯·费雷拉 2 阿娜·特蕾莎·马丁斯 2 Kuldeep S.梅尔。 2 克里斯蒂娜·莫勒罗·里奥 2 伊利亚·奥特普申尼科夫。 2 亚历山德罗·普雷维蒂 2 皮·马蒂厄 2 多洛雷斯罗梅罗·莫拉莱斯 2 爱德华多·西尼巴尔迪 2 莫西·亚亚科夫·瓦尔迪 1 安德烈·阿布拉梅 1 伊曼纽尔·阿尔比尼 1 马里奥·阿尔维亚诺 1 莱拉·阿姆古德 1 卡洛斯·安索特吉 1 乌迈尔·阿里夫 1 阿尔伯特·阿特塞里亚斯 1 根纳罗·奥里奇奥 1 艾丁·戈尔，埃布鲁 1 Sayan Bandyapadhyay 1 彼得罗·巴罗尼 1 克拉克·W·巴雷特。 1 贝莱德·本哈莫 1 罗伯特·本科奇。 1 妮可·比多瓦 1 亨德里克·比尔莱 1 马可·比兰塞里 1 拉斐尔·布兰科罗 1 巴特·博加特 1 马蒂尔德·博尔顿哈根 1 玛丽亚·路易莎·博内 1 贾斯汀·J·布蒂利尔（Justin J.Boutiler）。 1 布罗达，Krysia B。 1 克里斯托弗·布朗（Christopher W.Brown）。 1 克里斯托弗·布朗 1 马克·布法特 1 Samuel R.巴斯。 1 安妮·卡迪欧 1 乔塞普·卡莫纳 1 伊万娜·乔纳 1 塞兰、伊斯梅尔·伊尔坎 1 查克拉波蒂，苏普拉特克 1 陈杰佛瑞 1 托马斯·查泰恩 1 陈超凡 1 陈广科 1 陈韬略 1 陈泽瑜 1 陈志 1 克拉克（Edmund Melson jun Clarke）。 1 科宁，诺琳 1 科恩、埃尔丹 1 雷蒙·达赫塞特 1 阿德南·达尔维切 1 乔瓦尼·德米凯利 1 吕克·德·雷德 1 沃尔夫·德·沃尔夫 1 Jip J.德克尔。 1 埃米尔·德米罗维奇 1 卡勒布·多诺维克 1 窦德静 1 埃格利，乌韦 1 吕迪格·埃勒斯 1 托马斯·艾特 1 法吉尔，Hélène 1 卢卡·费拉里尼 1 尤瓦尔·菲莫斯 1 伯恩德·芬克贝纳 1 吉多·菲奥里诺 1 费多尔·福明。 1 哈达尔·弗兰克尔 …还有150多名作者 全部的 前5名31篇连载文章中引用 12 人工智能 8 人工智能研究杂志 4 理论计算机科学 4 约束条件 三 国际近似推理杂志 三 ACM计算逻辑事务 三 可满足性、布尔建模与计算杂志 2 符号计算杂志 2 计算机科学中的逻辑方法 1 美国数学月刊 1 计算机和流体 1 离散应用数学 1 信息处理信件 1 计算物理杂志 1 计算 1 离散和计算几何 1 计算机与运筹学 1 自动推理杂志 1 人工智能通信 1 自动化和远程控制 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 组合数学电子杂志 1 顶部 1 数学与人工智能年鉴 1 启发式杂志 1 流动、湍流和燃烧 1 逻辑程序设计理论与实践 1 机器学习研究杂志（JMLR） 1 计算机科学中的数学 1 统计调查 全部的 前5名13个领域引用 87 计算机科学（68至XX） 14 运筹学、数学规划（90-XX） 13 数理逻辑与基础（03-XX） 4 流体力学（76-XX） 三 组合数学（05-XX） 三 统计学（62-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 群论与推广（20-XX） 1 凸和离散几何（52至XX） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 按年份列出的引文