编辑配置文件（在新选项卡中打开） Kuldeep S.梅尔。 合著者距离 作者ID： meel.kuldeep-s公司 发布日期： Kuldeep S.梅尔。 已编制索引的文档： 22出版物自2016年起，包括2个附加arXiv预打印 1名编辑贡献 合著者： 41位合著者具有23联合出版物 791合著作者 全部的 前5名合著者 0 单作者的 三 Aditya A.Shrotri。 三 索斯，马特 三 莫西·亚亚科夫·瓦尔迪 2 雅罗斯拉夫·本迪克 2 比什瓦米特拉·戈什 2 德米特里·马利奥托夫。 2 雅什·波特 1 阿格拉瓦尔，杜尔盖什 1 阿克西，S。 1 阿利亚斯·阿拉马维 1 巴维西娅 1 法布里齐奥·比昂迪 1 查克拉波蒂，苏普拉特克 1 蒂亚戈·科古姆布雷罗 1 迈克尔·埃内斯库。 1 斯蒂芬·戈赫特 1 拉胡尔·库马尔·古普塔 1 安妮莉·希瑟 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 亚历山大·伊夫里 1 萨尔夫拉兹·库希德 1 拉加夫·库尔卡尼 1 Gunjan Kumar 1 Legay、Axel 1 沙拉德·马利克 1 Joáo P.塞尔瓦侯爵。 1 约翰·梅勒·库梅伊 1 马希德·穆罕默德利塔伊里希 1 卡提克·默西 1 尼娜·纳罗季斯卡 1 斯里·拉吉·保罗 1 吉尔斯·佩森特 1 尼古拉斯·普雷沃特 1 吉恩·奎尔贝夫 1 罗伊，苏巴吉特 1 沙尔马，舒巴姆 1 阿里吉特·肖 1 斯特里赫曼（Ofer Strichman） 1 王开元 1 王文喜 1 杨炯 系列 2 约束条件 1 人工智能研究杂志 1 LIPIcs–莱布尼茨国际信息学会议录 领域 20 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 2 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用48中的次37文件 引用人▼ 年份▼ 着色、分离和懒惰的CNF-XOR求解及其在计数和采样中的应用。 Zbl 1478.68203号 索斯，马特；斯蒂芬·戈赫特；Kuldeep S.梅尔。 8 2020 使用模型计数评估启发式机器学习解释。 Zbl 1441.68211号 尼娜·纳罗季斯卡；阿迪蒂亚·什洛特里；Kuldeep S.梅尔。；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 8 2019 关于计算最小独立支持度及其在采样和计数中的应用。 Zbl 1334.90146号 亚历山大·伊夫里；沙拉德·马利克；Kuldeep S.梅尔。；莫舍·瓦尔迪。 8 2016 程序中定量信息流的可缩放近似。 兹比尔1446.68027 法布里齐奥·比昂迪；迈克尔·恩内斯库（Michael A.Enescu）。；安妮莉·希瑟；Legay、Axel；Kuldeep S.梅尔。；吉恩·奎尔贝夫 4 2018 水晶球：凝视SAT解算的黑匣子。 Zbl 1441.68240号 索斯，马特；拉加夫·库尔卡尼；Kuldeep S.梅尔。 4 2019 可扩展近似模型计数的稀疏散列：理论与实践。 Zbl 07299508号 Kuldeep S.梅尔。；阿克西，S。 4 2020 最小不可满足子集的近似计数。 Zbl 1478.68199号 雅罗斯拉夫·本迪克；Kuldeep S.梅尔。 三 2020 基于散列的近似DNF计数方法。 Zbl 1491.68193号 Kuldeep S.梅尔。；Shrotri，阿迪蒂亚·A。；莫舍·瓦尔迪。 三 2018 线性模块算法在约束规划中的实用性。 Zbl 07493633号 吉尔斯·佩森特；Kuldeep S.梅尔。；马希德·穆罕默德利塔伊里希 2 2021 知识汇编符合统一抽样。 Zbl 1415.68205号 沙尔马，舒巴姆；拉胡尔·古普塔；罗伊，苏巴吉特；Kuldeep S.梅尔。 2 2018 并非所有的FPRAS都是相等的：为DNF计数揭开FPRAS的神秘面纱。 Zbl 1483.68498号 Kuldeep S.梅尔。；Aditya A.Shrotri。；莫舍·瓦尔迪。 1 2019 设计新的相位选择启发式。 Zbl 07331013号 阿里吉特·肖；Kuldeep S.梅尔。 1 2020 线性模块算法在约束规划中的实用性。 Zbl 07493633号 吉尔斯·佩森特；Kuldeep S.梅尔。；马希德·穆罕默德利塔伊里希 2 2021 着色、分离和惰性CNF-XOR求解及其在计数和采样中的应用。 Zbl 1478.68203号 Soos，伙计；斯蒂芬·戈赫特；Kuldeep S.梅尔。 8 2020 可扩展近似模型计数的稀疏散列：理论与实践。 Zbl 07299508号 Kuldeep S.梅尔。；阿克西，S。 4 2020 最小不可满足子集的近似计数。 Zbl 1478.68199号 雅罗斯拉夫·本迪克；Kuldeep S.梅尔。 三 2020 设计新的相位选择启发式。 Zbl 07331013号 阿里吉特·肖；Kuldeep S.梅尔。 1 2020 使用模型计数评估启发式机器学习解释。 Zbl 1441.68211号 尼娜·纳罗季斯卡；施罗特里，阿迪亚；Kuldeep S.梅尔。；阿列克谢·伊格纳提耶夫；若昂·西尔瓦侯爵 8 2019 水晶球：凝视SAT解算的黑匣子。 Zbl 1441.68240号 索斯，马特；拉加夫·库尔卡尼；Kuldeep S.梅尔。 4 2019 并非所有的FPRAS都是相等的：为DNF计数揭开FPRAS的神秘面纱。 Zbl 1483.68498号 Kuldeep S.梅尔。；Aditya A.Shrotri。；莫舍·瓦尔迪。 1 2019 程序中定量信息流的可缩放近似。 Zbl 1446.68027号 法布里齐奥·比昂迪；迈克尔·恩内斯库（Michael A.Enescu）。；安妮莉·希瑟；Legay、Axel；Kuldeep S.梅尔。；吉恩·奎尔贝夫 4 2018 基于散列的近似DNF计数方法。 Zbl 1491.68193号 Kuldeep S.梅尔。；Shrotri，阿迪蒂亚·A。；莫舍·瓦尔迪。 三 2018 知识汇编符合统一抽样。 Zbl 1415.68205号 沙尔马，舒巴姆；拉胡尔·古普塔；罗伊，苏巴吉特；Kuldeep S.梅尔。 2 2018 关于计算最小独立支持度及其在采样和计数中的应用。 Zbl 1334.90146号 亚历山大·伊夫里；沙拉德·马利克；Kuldeep S.梅尔。；莫舍·瓦尔迪。 8 2016 所有引用的出版物 前5名被引用出版物 全部的 前5名被100位作者引用 6 Kuldeep S.梅尔。 4 Joáo P.塞尔瓦侯爵。 三 雅罗斯拉夫·本迪克 三 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 2 艾丁·戈尔，埃布鲁 2 阿明·比尔 2 伊万娜·乔纳 2 塞兰、伊斯梅尔·伊尔坎 2 Heule，Marijn J.H。 2 亚辛·伊扎 2 吉尔斯·佩森特 2 艾哈迈特·塞肯 2 Aditya A.Shrotri。 2 莫西·亚亚科夫·瓦尔迪 2 亚历山大·维格尔 1 拉尔夫·阿布德 1 阿奇利奥普塔斯，迪米特里斯 1 伊曼纽尔·阿尔比尼 1 阿利亚斯·阿拉马维 1 维克拉曼·阿尔文德 1 李·巴奈特（Lee A.Barnett）。 1 彼得罗·巴罗尼 1 唐·S·巴托里。 1 Johannes Bechberger 1 大卫·贝纳维德斯 1 马丁·布隆伯格 1 佛罗伦萨卡佩利 1 查克拉波蒂，苏普拉特克 1 陈广科 1 陈、陶璐 1 陈泽瑜 1 马丁·库珀。 1 阿德南·达尔维切 1 埃米尔·德米罗维奇 1 拉多斯拉夫·迪米特洛夫 1 窦德静 1 丹尼尔·弗里蒙特。 1 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 1 弗罗莱克斯，尼尔斯 1 安德烈亚斯·基蒂斯 1 文凯特桑·古鲁斯瓦米 1 萨沙·豪赫 1 鲁本·赫拉迪奥 1 黄轩翔 1 马库斯·伊泽尔 1 沙迦·伊扎基 1 米科拉什·亚诺塔 1 马蒂·Järvisalo 1 姜海燕 1 曼纽尔·考尔斯 1 萨尔夫拉兹·库希德 1 吉塔·库蒂尼奥克 1 Jean-Marie拉格尼茨 1 洛伦兹·勒特盖布 1 李铁军 1 李兴健 1 李旭红 1 刘，季 1 刘振军 1 伊曼纽尔·隆卡 1 马可凡 1 简·麦克唐纳 1 皮埃尔·侯爵 1 卡洛斯·门西娅 1 穆罕默德·利塔杰里希 1 西比尔·莫勒 1 尼娜·纳罗季斯卡 1 沃伊切赫·纳罗基 1 哦，杰霍 1 马坦一世·贝利德。 1 查尔斯·普鲁德霍姆 1 克洛德·盖·昆珀 1 安东尼奥·拉戈 1 赛勒斯·拉什奇安 1 威廉·雷诺德 1 巴特·陈·罗森伯格 1 马蒂娜·塞德尔 1 安吉特·舒克拉 1 宋，傅 1 亚恩·斯特罗泽基 1 马丁·苏达 1 塞缪尔·特尤伯 1 帕诺斯·西奥多罗普洛斯 1 弗朗西丝卡·托尼 1 夏洛特·特鲁切特 1 范登·布勒克，盖伊 1 罗纳德·范·德里尔 1 马修·瓦维尔 1 Hélène韦赫 1 埃里克·文 1 斯蒂芬·瓦尔钦 1 王开元 1 王文喜 1 克里斯托夫·韦登巴赫 1 熊浩毅 1 杨炯 1 尼尔·约克-史密斯 1 张建民 1 张业迪 1 赵哲 全部的 前5名8篇连载文章中引用 6 人工智能 三 约束条件 2 人工智能研究杂志 1 离散应用数学 1 算法 1 国际近似推理杂志 1 组合数学电子杂志 1 计算机科学中的逻辑方法 在5个字段中引用 36 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 三 组合数学（05-XX） 三 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 按年份列出的引文