编辑配置文件（在新选项卡中打开） 卡洛斯·安索特吉 合著者距离 作者ID： ansotegui.carlos语言 发布日期： 卡洛斯·安索特吉；卡洛斯·安索特古伊 外部链接： 逆戟鲸 已编制索引的文档： 23出版物自2005年以来，包括1个附加arXiv预打印 合著者： 29位合著者具有23联合出版物 380位合作作者 全部的 前5名合著者 0 单作者的 10 约尔迪·利维 7 玛丽亚·路易莎 6 很多，费利普 4 吉拉尔德斯·克鲁，杰苏斯 三 米克尔波菲尔 三 乔尔·加布 三 Josep Pon先生 三 梅诺夫·塞尔曼 三 马图·维拉雷特 2 Laurent S.R.西蒙。 1 拉蒙·贝加尔 1 塞萨尔·费尔南德斯。 1 卡拉·戈麦斯。 1 贾斯汀·哈特。 1 何塞·拉鲁比亚 1 李楚敏 1 圣地亚哥马乔·冈萨雷斯 1 尤里·马利茨基 1 卡莱斯·马图 1 佩德罗·梅塞盖尔 1 奥杰达、杰苏斯 1 安托尼奥·帕切科 1 米克尔帕拉西 1 阿什什·萨巴沃尔 1 Josep M.萨尔瓦多。 1 巴特·塞尔曼 1 约塞普·苏伊 1 凯文·蒂尔尼 1 爱德华·托雷斯 全部的 前5名系列 三 人工智能 2 数学与人工智能年鉴 2 约束条件 1 模糊集与系统 1 信息科学 1 人工智能研究杂志 1 启发式杂志 1 多值逻辑与软计算杂志 全部的 前5名领域 20 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 三 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 1 测量和集成（28-XX） 1 凸和离散几何（52至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用170中的次112文件 引用人▼ 年份▼ 基于SAT的MaxSAT算法。 Zbl 1270.68265号 卡洛斯·安索特吉；玛丽亚·路易莎；约尔迪·利维 36 2013 通过满意度测试求解（加权）部分MaxSAT。 Zbl 1247.68242号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维 36 2009 SAT公式的社区结构。 Zbl 1273.68331号 卡洛斯·安索特吉；吉拉尔德斯·克鲁杰苏斯；约尔迪·利维 14 2012 SAT公式的分形维数。 Zbl 1423.68429号 卡洛斯·安索特吉；玛丽亚·路易莎；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维 11 2014 将有限域变量问题映射为布尔变量问题。 Zbl 1122.68582号 卡洛斯·安索特吉；很多，费利普 11 2005 MaxSAT通过改进的实例特定算法配置实现。 Zbl 1352.68218号 卡洛斯·安索特吉；乔尔·加布；尤里·马利茨基；梅诺夫·塞尔曼 9 2016 QBF建模：利用玩家的对称性来简化和提高效率。 Zbl 1187.68264号 阿什什·萨巴沃尔；卡洛斯·安索特古伊；卡拉·戈麦斯。；贾斯汀·哈特。；巴特·塞尔曼 8 2006 通过重新表述为可满足性模理论，求解具有元约束的加权CSP。 Zbl 1309.90083号 卡洛斯·安索特吉；米克尔波菲尔；米克尔帕拉西；约塞普·苏伊；马图·维拉雷特 8 2013 WPM3：加权部分MaxSAT的（in）完整算法。 Zbl 1419.68090号 卡洛斯·安索特吉；乔尔·加布 7 2017 具有可满足模理论求解器的多值逻辑自动定理证明器。 Zbl 1387.03007号 卡洛斯·安索特吉；米克尔波菲尔；很多，费利普；马图·维拉雷特 6 2016 工业SAT实例中的社区结构。 Zbl 1430.68286号 卡洛斯·安索特吉；玛丽亚·路易莎；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维；洛朗·西蒙 4 2019 用于多值逻辑的SAT和SMT技术。 Zbl 1394.03038号 卡洛斯·安索特吉；米克尔波菲尔；很多，费利普；马图·维拉雷特 4 2015 将CSP映射到多值SAT。 Zbl 1214.68339号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 三 2007 在SAT求解器的变量选择启发式中利用多值知识。 Zbl 1124.68102号 卡洛斯·安索特吉；何塞·拉鲁比亚；李楚敏；很多，费利普 三 2007 使用社区结构来检测相关的习得子句。 Zbl 1471.68235号 卡洛斯·安索特吉；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维；洛朗·西蒙 三 2015 关于将边缘匹配难题作为SAT或CSP问题解决的难度。 Zbl 1310.05055号 卡洛斯·安索特吉；拉蒙·贝加尔；塞萨尔·费尔南德斯；卡莱斯·马图 2 2013 多值优化的解析程序。 Zbl 1293.03010号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 2 2013 在基于SAT的maxsat算法中开发子问题优化。 Zbl 1360.90313号 卡洛斯·安索特吉；乔尔·加布；约尔迪·利维 2 2016 PyDGGA：用于自动配置的分布式GGA。 Zbl 07495562号 卡洛斯·安索特吉；Josep Pon先生；梅诺夫·塞尔曼；凯文·蒂尔尼 1 2021 PyDGGA：用于自动配置的分布式GGA。 Zbl 07495562号 卡洛斯·安索特吉；Josep Pon先生；梅诺夫·塞尔曼；凯文·蒂尔尼 1 2021 工业SAT实例中的社区结构。 Zbl 1430.68286号 卡洛斯·安索特吉；玛丽亚·路易莎；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维；洛朗·西蒙 4 2019 WPM3：加权部分MaxSAT的（in）完整算法。 Zbl 1419.68090号 卡洛斯·安索特吉；乔尔·加布 7 2017 MaxSAT通过改进的实例特定算法配置实现。 Zbl 1352.68218号 卡洛斯·安索特吉；乔尔·加布；尤里·马利茨基；梅诺夫·塞尔曼 9 2016 具有可满足模理论求解器的多值逻辑自动定理证明器。 Zbl 1387.03007号 卡洛斯·安索特吉；米克尔波菲尔；很多，费利普；马图·维拉雷特 6 2016 在基于SAT的maxsat算法中开发子问题优化。 兹比尔1360.90313 卡洛斯·安索特吉；乔尔·加布；约尔迪·利维 2 2016 用于多值逻辑的SAT和SMT技术。 Zbl 1394.03038号 卡洛斯·安索特吉；米克尔波菲尔；很多，费利普；马图·维拉雷特 4 2015 使用社区结构来检测相关的习得子句。 Zbl 1471.68235号 卡洛斯·安索特吉；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维；洛朗·西蒙 三 2015 SAT公式的分形维数。 Zbl 1423.68429号 卡洛斯·安索特吉；玛丽亚·路易莎；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维 11 2014 基于SAT的MaxSAT算法。 Zbl 1270.68265号 卡洛斯·安索特吉；玛丽亚·路易莎；约尔迪·利维 36 2013 通过重新表述为可满足性模理论，求解具有元约束的加权CSP。 Zbl 1309.90083号 卡洛斯·安索特吉；米克尔波菲尔；米克尔帕拉西；约塞普·苏伊；马图·维拉雷特 8 2013 关于将边缘匹配难题作为SAT或CSP问题解决的难度。 Zbl 1310.05055号 卡洛斯·安索特吉；拉蒙·贝加尔；塞萨尔·费尔南德斯；卡莱斯·马图 2 2013 多值优化的解析程序。 Zbl 1293.03010号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 2 2013 SAT公式的社区结构。 Zbl 1273.68331号 卡洛斯·安索特吉；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维 14 2012 通过满意度测试求解（加权）部分MaxSAT。 Zbl 1247.68242号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维 36 2009 将CSP映射到多值SAT。 Zbl 1214.68339号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 三 2007 在SAT求解器的变量选择启发式中利用多值知识。 Zbl 1124.68102号 卡洛斯·安索特吉；何塞·拉鲁比亚；李楚敏；很多，费利普 三 2007 QBF建模：利用玩家的对称性来简化和提高效率。 兹比尔1187.68264 阿什什·萨巴沃尔；卡洛斯·安索特古伊；卡拉·戈麦斯。；贾斯汀·哈特。；巴特·塞尔曼 8 2006 将有限域变量问题映射为布尔变量问题。 Zbl 1122.68582号 卡洛斯·安索特吉；很多，费利普 11 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名253位作者引用 8 卡洛斯·安索特吉 8 Joáo P.塞尔瓦侯爵。 7 丹尼尔·贝伦德 6 约尔迪·利维 6 Yochai Twitto 5 米克尔波菲尔 5 李楚敏 5 林奇，因斯 5 很多，费利普 5 马图·维拉雷特 4 托比亚斯·弗里德里希 4 罗伯特·加尼安 4 戈兰，沙哈尔 4 贾马尔·哈贝特 4 罗森伯格（Ralf Rothenberger） 4 梅诺夫·塞尔曼 4 斯泽德，斯特凡 三 约塞普·阿格利奇 三 蔡少伟 三 乔迪·科尔 三 乔尔·加布 三 维杰·加内什 三 吉拉尔德斯·克鲁，杰苏斯 三 何坤 三 Heule，Marijn J.H。 三 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 三 米科拉什·亚诺塔 三 鲁本·马丁斯 三 安托尼奥·莫尔加多 三 苏凯乐 2 安德烈·阿布拉梅 2 阿洛奇，大卫 2 马里奥·阿尔维亚诺 2 杰里米亚斯·伯格 2 玛丽亚·路易莎 2 Randal E.布莱恩特。 2 穆罕默德·萨米·谢里夫 2 Czarnecki、Krzysztof 2 西蒙·德·吉夫里 2 卡明·多达罗 2 爱德华·艾本 2 马蒂·Järvisalo 2 索拉巴·乔希 2 乔治·卡特西雷洛斯 2 梁家辉 2 罗，川 2 Vasco M.Manquinho。 2 卡洛斯·门西娅 2 罗伯特·纽文胡斯 2 塞巴斯蒂安·奥德尼亚克 2 巴里·奥沙利文 2 乔迪，飞机 2 Josep Pon先生 2 李维斯，Joseph E。 2 托尔斯滕·绍布（Torsten H.Schaub）。 2 托马斯·希克斯 2 桑吉特·阿伦库马尔·塞希亚 2 彼得·詹姆斯·斯塔基 2 安德鲁·萨顿（Andrew M.Sutton）。 2 约塞普·苏伊 2 凯文·蒂尔尼 2 维姆万克罗宁堡 2 Vanden Berghe，问候 2 阿曼达·维达尔 2 菲利普·旺科 2 托尼·沃特斯 2 徐振兴 1 伊格纳西·阿比奥 1 李维·阿布鲁（Levi R.Abreu）。 1 塔斯尼姆·纳赛尔·叶海亚 1 杰里特·安德斯 1 伊莎贝·安德烈 1 阿西恩·阿查，罗伯托 1 阿西恩，AcháRoberto 1 罗伯托·阿辛 1 苏海卜·巴里尔 1 法希姆·巴克斯 1 穆苏诺里·班巴拉 1 迪纳·巴拉克·佩利格 1 苏菲·芭比 1 贝恩德·贝克尔 1 拉蒙·贝加尔 1 奔驰，米沙尔 1 阿明·比尔 1 托马斯·巴西乌斯 1 劳伦斯·布利克 1 费德里科·博比奥 1 费利克斯·布 1 乌韦·布贝克 1 布斯克茨，迪达 1 Samuel R.巴斯。 1 阿尔巴州卡比斯科 1 汤姆·卡索克 1 马尔科·塞拉米 1 查克拉波蒂，苏普拉特克 1 克劳迪娜·朝义亚 1 陈文祥 1 乔纳森·钟 1 迈克尔·科迪什 1 奥古斯托·塞萨尔·海卢伊·丹塔斯 …还有153位作者 全部的 前5名引用于31个系列 18 人工智能 11 约束条件 5 可满足性、布尔建模与计算杂志 4 数学与人工智能年鉴 三 自动推理杂志 三 人工智能通信 三 离散优化 2 模糊集与系统 2 理论计算机科学 2 计算机与运筹学 2 运筹学年鉴 2 软计算 1 信息处理信件 1 计算 1 计算与应用数学杂志 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 国际近似推理杂志 1 机器学习 1 随机结构与算法 1 系统设计中的形式化方法 1 顶部 1 人工智能研究杂志 1 启发式杂志 1 组合优化期刊 1 计算机基础理论 1 逻辑程序设计理论与实践 1 自然计算 1 JMMA公司。数学建模与算法杂志 1 理论生物学杂志 1 运筹学数学建模与算法杂志 全部的 前5名13个领域引用 94 计算机科学（68至XX） 30 运筹学、数学规划（90-XX） 9 数理逻辑与基础（03-XX） 4 组合数学（05-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 生物学和其他自然科学（92-XX） 三 信息与通信理论、电路（94-XX） 2 阶、格、有序代数结构（06-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文