编辑配置文件(在新选项卡中打开) 阿什什·萨巴沃尔 合著者距离 作者ID: 萨巴沃尔语 发布日期: 阿什什·萨巴沃尔 已编制索引的文档: 28出版物自2004年起 合著者: 31位合著者具有27联合出版物 821位合作作者 全部的 前5名合著者 1 单作者的 9 卡拉·P·戈麦斯。 7 巴特·塞尔曼 6 威廉·扬·范霍夫 4 保罗·比姆。 4 比斯特拉·迪尔基纳 3 马修·卡里(Matthew C.Cary)。 3 卢卡斯·克罗克 3 阿特里·鲁德拉 2 乔恩·康拉德(Jon M.Conrad)。 2 霍夫曼,约格 2 亨利·考茨。 2 吉尔斯·佩森特 2 卢梭,路易斯·马汀 2 霍斯特·萨穆洛维茨 2 Jordan F.萨特。 1 托拜厄斯·阿切特伯格 1 卡洛斯·安索特吉 1 约书亚·伯雷什·奥彭海姆 1 安德烈·奥古斯托·西雷 1 多姆什拉克,卡梅尔 1 贾斯汀·哈特。 1 威伦·扬·霍夫 1 罗素·英帕利亚佐 1 布莱恩·凯尔 1 唐纳德·洛夫兰。 1 尤里·马利茨基 1 托尼安·皮塔西 1 兰·拉兹 1 Vijay A.萨拉斯瓦特。 1 梅诺夫·塞尔曼 1 埃里克·维 全部的 前5名系列 2 人工智能研究杂志 2 约束条件 1 环境经济学与管理杂志 1 SIAM计算机杂志 1 运筹学年鉴 1 计算几何 1 计算复杂性 1 数学与人工智能年鉴 全部的 前5名领域 25 计算机科学(68至XX) 7 运筹学、数学规划(90-XX) 3 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用201中的次167文件 引用人▼ 年份▼ 理解和利用小句学习的潜力。 兹比尔1080.68651 保罗·比姆;亨利·考茨;阿什什·萨巴沃尔 69 2004 重新查看序列约束。 兹比尔1160.68573 威廉·扬·范霍夫;吉尔斯·佩森特;卢梭,路易斯·马汀;阿什什·萨巴沃尔 17 2006 模型计数:一种获得良好边界的新策略。 Zbl 1341.68202号 卡拉·P·戈麦斯。;阿什什·萨巴沃尔;巴特·塞尔曼 16 2011 后门检测复杂性的权衡。 Zbl 1145.68511号 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔 11 2007 野生动物走廊作为连通子图问题。 Zbl 1250.90119号 乔恩·康拉德(Jon M.Conrad)。;卡拉·P·戈麦斯。;威廉·扬·范霍夫;阿什什·萨巴沃尔;Jordan F.苏特。 11 2012 随机图中独立集和顶点覆盖的分解复杂性。 Zbl 1137.68030号 保罗·比姆;罗素·英帕利亚佐;阿什什·萨巴沃尔 9 2007 QBF建模:利用玩家的对称性来简化和提高效率。 Zbl 1187.68264号 阿什什·萨巴沃尔;卡洛斯·安索特古伊;卡拉·P·戈麦斯。;贾斯汀·哈特。;巴特·塞尔曼 8 2006 网络中的连接:可行性与优化的难易程度。 Zbl 1214.90127号 乔恩·康拉德;卡拉·P·戈麦斯。;威廉·扬·范霍夫;阿什什·萨巴沃尔;约旦苏特 8 2007 用于模型计数的简短XOR:从理论到实践。 Zbl 1214.68354号 卡拉·P·戈麦斯。;霍夫曼(Joerg Hoffmann);阿什什·萨巴沃尔;巴特·塞尔曼 8 2007 组合优化的后门:可行性和最优化。 兹比尔1241.68099 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;尤里·马利茨基;阿什什·萨巴沃尔;梅诺夫·塞尔曼 6 2009 约束组合的新过滤算法。 Zbl 1186.68552号 威廉·扬·范霍夫;吉尔斯·佩森特;卢梭,路易斯·马汀;阿什什·萨巴沃尔 5 2009 利用信念传播、回溯搜索和统计数据进行模型计算。 Zbl 1142.68517号 卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 5 2008 学习背景下的后门。 Zbl 1247.68250号 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔 4 2009 SymChaff公司:在结构软件可满足性求解器中利用对称性。 Zbl 1186.68442号 阿什什·萨巴沃尔 4 2009 带决策图的并行组合优化。 Zbl 1407.68446号 大卫·伯格曼;安德烈·西尔(Andre A.Cire)。;阿什什·萨巴沃尔;霍斯特·萨穆洛维茨;维杰·萨拉斯瓦特;威廉·扬·范霍夫 4 2014 利用信念传播、回溯搜索和统计数据进行模型计数。 Zbl 1225.90108号 卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 3 2011 朋友还是敌人?将规划作为可满足性和抽象CNF编码。 Zbl 1188.68270号 多姆什拉克,卡梅尔;霍夫曼,约格;阿什什·萨巴沃尔 3 2009 DPLL:现代可满足性求解器的核心。 Zbl 1439.68026号 唐纳德·洛夫兰;阿什什·萨巴沃尔;巴特·塞尔曼 2 2016 BDD-引导子句生成。 Zbl 1459.68191号 布莱恩·凯尔;阿什什·萨巴沃尔;威伦·扬·霍夫 2 2015 后门复杂性与可满足性的权衡:动态子求解器和搜索过程中的学习。 Zbl 1357.68205号 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔 2 2014 使用问题结构进行有效的子句学习。 Zbl 1204.68210号 阿什什·萨巴沃尔;保罗·比姆;亨利·考茨 1 2004 局部搜索中最优噪声和运行时分布的实证研究。 Zbl 1306.68163号 卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 1 2010 无限楔子的泛光照明。 Zbl 1173.65310号 马修·卡里;阿特里·鲁德拉;阿什什·萨巴沃尔;埃里克·维 1 2010 通过冲突和背包封面中的隐含文字进行更有力的推断。 Zbl 1382.68218号 托拜厄斯·阿切特伯格;阿什什·萨巴沃尔;霍斯特·萨穆洛维茨 1 2013 DPLL:现代可满足性求解器的核心。 Zbl 1439.68026号 唐纳德·洛夫兰;阿什什·萨巴沃尔;巴特·塞尔曼 2 2016 BDD-引导子句生成。 Zbl 1459.68191号 布莱恩·凯尔;阿什什·萨巴沃尔;威伦·扬·霍夫 2 2015 带决策图的并行组合优化。 兹比尔1407.68446 大卫·伯格曼;安德烈·西尔(Andre A.Cire)。;阿什什·萨巴沃尔;霍斯特·萨穆洛维茨;维杰·萨拉斯瓦特;威廉·扬·范霍夫 4 2014 可满足性后门复杂性的权衡:动态子解算器和搜索过程中的学习。 Zbl 1357.68205号 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔 2 2014 通过冲突和背包封面中的隐含文字进行更有力的推断。 Zbl 1382.68218号 托拜厄斯·阿切特伯格;阿什什·萨巴沃尔;霍斯特·萨穆洛维茨 1 2013 野生动物走廊作为连通子图问题。 Zbl 1250.90119号 乔恩·康拉德(Jon M.Conrad)。;卡拉·P·戈麦斯。;威廉·扬·范霍夫;阿什什·萨巴沃尔;Jordan F.苏特。 11 2012 模型计数:一种获得良好边界的新策略。 Zbl 1341.68202号 卡拉·P·戈麦斯。;阿什什·萨巴沃尔;巴特·塞尔曼 16 2011 利用信念传播、回溯搜索和统计数据进行模型计算。 兹伯利1225.90108 卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 3 2011 局部搜索中最优噪声和运行时分布的实证研究。 Zbl 1306.68163号 卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 1 2010 无限楔子的泛光照明。 Zbl 1173.65310号 马修·卡里;阿特里·鲁德拉;阿什什·萨巴沃尔;埃里克·维 1 2010 组合优化的后门:可行性和最优化。 兹比尔1241.68099 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;尤里·马利茨基;阿什什·萨巴沃尔;梅诺夫·塞尔曼 6 2009 用于约束之间组合的新过滤算法。 Zbl 1186.68552号 威廉·扬·范霍夫;吉尔斯·佩森特;卢梭,路易斯·马汀;阿什什·萨巴沃尔 5 2009 学习背景下的后门。 Zbl 1247.68250号 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔 4 2009 SymChaff公司:在结构软件可满足性求解器中利用对称性。 Zbl 1186.68442号 阿什什·萨巴沃尔 4 2009 朋友还是敌人?将规划作为可满足性和抽象CNF编码。 Zbl 1188.68270号 多姆什拉克,卡梅尔;霍夫曼,约格;阿什什·萨巴沃尔 3 2009 利用信念传播、回溯搜索和统计数据进行模型计算。 Zbl 1142.68517号 卢卡斯·克罗克;阿什什·萨巴沃尔;巴特·塞尔曼 5 2008 后门检测复杂性的权衡。 Zbl 1145.68511号 比斯特拉·迪尔基纳;卡拉·P·戈麦斯。;阿什什·萨巴沃尔 11 2007 随机图中独立集和顶点覆盖的分解复杂性。 Zbl 1137.68030号 保罗·比姆;罗素·英帕利亚佐;阿什什·萨巴沃尔 9 2007 网络中的连接:可行性与优化的难易程度。 Zbl 1214.90127号 乔恩·康拉德;卡拉·P·戈麦斯。;威廉·扬·范霍夫;阿什什·萨巴沃尔;约旦苏特 8 2007 模型计数的简短XOR:从理论到实践。 Zbl 1214.68354号 卡拉·P·戈麦斯。;霍夫曼(Joerg Hoffmann);阿什什·萨巴沃尔;巴特·塞尔曼 8 2007 修改序列约束。 Zbl 1160.68573号 威廉·扬·范霍夫;吉尔斯·佩森特;卢梭,路易斯·马汀;阿什什·萨巴沃尔 17 2006 QBF建模:利用玩家的对称性来简化和提高效率。 Zbl 1187.68264号 阿什什·萨巴沃尔;卡洛斯·安索特古伊;卡拉·P·戈麦斯。;贾斯汀·哈特。;巴特·塞尔曼 8 2006 理解和利用小句学习的潜力。 兹比尔1080.68651 保罗·比姆;亨利·考茨;阿什什·萨巴沃尔 69 2004 使用问题结构进行有效的子句学习。 Zbl 1204.68210号 阿什什·萨巴沃尔;保罗·比姆;亨利·考茨 1 2004 所有引用出版物 前5名被引用出版物 全部的 前5名316位作者引用 9 奥拉夫·拜尔斯多夫 7 阿什什·萨巴沃尔 7 斯泽德,斯特凡 5 塞缪尔·R·巴斯。 5 Kuldeep S.梅尔。 4 安德烈·奥古斯托·西雷 4 比斯特拉·迪尔基纳 4 卡拉·P·戈麦斯。 4 约翰·胡克(John N.jun Hooker)。 4 马西莫·劳里亚 4 塞巴斯蒂安·奥德尼亚克 4 吉尔斯·佩森特 4 巴特·塞尔曼 3 阿明·比尔 3 本杰明·伯姆 3 阿诺德·德拉吉塞维奇。 3 汤米·A·琼蒂拉。 3 雅各布诺德斯特伦 3 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 3 瓦迪姆·里夫钦 3 马蒂娜·塞德尔 3 帕特里克·特拉克斯勒 2 阿坤、奥祖尔 2 Artigues,克里斯蒂安 2 吉尔·奥德玛 2 法希姆·巴克斯 2 乔·德弗里安特 2 爱德华·艾本 2 约翰·克劳斯·费希特 2 马蒂奥·菲舍蒂 2 尼古拉·加莱西 2 罗伯特·加尼安 2 高勇 2 塞尔盖·加斯佩斯 2 格雷戈里·古丁。 2 Marie-JoséHuguet 2 纳希德·贾法里 2 米科拉什·亚诺塔 2 马蒂·Järvisalo 2 詹·约翰森 2 金恩贞(Kim,Eun Jung) 2 简·克拉契克 2 卢卡斯·克罗克 2 奥利弗·库尔曼 2 Joáo P.塞尔瓦侯爵。 2 伊恩·米格尔 2 米歇尔·莫纳奇 2 Peter W.南丁格尔。 2 庞硕 2 托拜厄斯·菲利普 2 卢梭,路易斯·马汀 2 拉赫达尔·塞伊斯 2 皮埃尔·绍斯 2 阿雷佐索莱曼法拉 2 克莉丝汀·索尔农 2 帕特里克·斯普拉克伦 2 斯特里赫曼(Ofer Strichman) 2 范·盖尔德,艾伦 2 威廉·扬·范霍夫 2 莫西·亚亚科夫·瓦尔迪 2 王金燕 2 吴京丽 2 Yeo,安德斯 2 尹明浩 2 亚历山德罗·扎纳里尼 1 阿奇利奥普塔斯,迪米特里斯 1 巴巴克·艾哈迈迪 1 坦比尔·艾哈迈德 1 帕特里克·阿尔伯特 1 阿利亚斯·阿拉马维 1 乔瓦尼·阿蒙多拉 1 约塞普·阿格利奇 1 阿尔伯特·阿塞里亚斯 1 克里斯特·Bäckström 1 塞巴斯蒂安·巴丁 1 李·巴奈特(Lee A.Barnett)。 1 保罗·比姆。 1 贝克,克里斯 1 J.克里斯托弗·贝克 1 拉蒙·贝加尔 1 谢尔盖·贝雷格。 1 托拜厄斯·贝雷 1 Billionet,阿兰 1 乔舒亚·布林霍恩 1 巴特·博加特 1 玛丽亚·路易莎·博内 1 卢卡斯·波尔多 1 拉尔夫·博恩多费尔 1 文森特·博朗格 1 马克斯·布鲁西亚马奇 1 莫里斯·布鲁诺 1 乌韦·布贝克 1 蔡少伟 1 詹姆·卡拉斯科 1 阿尔达·卡瓦略 1 玛格丽塔·帕斯·卡斯特罗 1 斯特凡诺·卡瓦琴托 1 Supratik查克拉博蒂 1 桑德琳·乔查德 1 Cheng,Kenil C.K。 …还有216位作者 全部的 前5名36篇连载文章中引用 17 人工智能 17 约束条件 6 欧洲运筹学杂志 5 计算机与运筹学 5 自动推理杂志 5 数学与人工智能年鉴 4 离散应用数学 4 信息处理信件 3 计算机与系统科学杂志 3 网络 3 SIAM计算机杂志 3 理论计算机科学 3 运营研究信件 3 算法 3 可满足性、布尔建模与计算杂志 3 计算机科学中的逻辑方法 2 纯逻辑与应用逻辑年鉴 2 运筹学年鉴 2 信息计算杂志 1 数学生物学杂志 1 符号计算杂志 1 信息与计算 1 机器学习 1 国际计算几何与应用杂志 1 数学逻辑档案 1 计算复杂性 1 《数理逻辑季刊》 1 运筹学国际交易 1 逻辑程序设计理论与实践 1 应用数学杂志 1 复杂系统研究进展 1 JMMA公司。数学建模与算法杂志 1 统计力学杂志:理论与实验 1 优化信函 1 理论生物学杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名13个领域引用 128 计算机科学(68至XX) 41 运筹学、数学规划(90-XX) 31 数学逻辑和基础(03-XX) 12 组合数学(05-XX) 5 生物学和其他自然科学(92-XX) 4 信息与通信理论、电路(94-XX) 2 概率论与随机过程(60-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 有序,格,有序代数结构(06-XX) 1 统计力学,物质结构(82-XX) 1 系统论;控制(93至XX) 按年份列出的引文