编辑配置文件（在新选项卡中打开） 沙拉德·马利克 合著者距离 作者ID： 马利克·沙拉德 发布日期： 沙拉德·马利克 外部链接： 管理程序 已编制索引的文档： 33出版物自1993年以来，包括1本书 2作为编辑的贡献 合著者： 41位合著者具有31联合出版物 573联合作者 全部的 前5名合著者 2 单作者的 6 阿尔蒂·古普塔 4 珍妮特·莫恩克 三 保罗·莫利托 三 唐大觉 三 亚基尔·维泽尔 三 张林涛 2 傅朝辉 2 阿里·古芬克尔 2 李耀尊（Li，Yau-Tsun Steven） 2 Yogesh S.马哈扬。 2 苏布拉曼尼亚拉贾戈帕兰 2 迪维约特·塞提 2 杨伟坤 2 于银雷 2 张洪策 1 阿劳霍，圭多 1 普拉纳夫·阿沙尔 1 August，David I。 1 格里戈里·费迪尤科维奇 1 叶·诺里斯 1 亚历山大·伊夫里 1 苏伦德·库马尔·杰恩 1 普拉莫德·坎瓦尔 1 库尔特·科伊策 1 Joáo P.塞尔瓦侯爵。 1 Kuldeep S.梅尔。 1 诺琳，N。 1 吉尔赫梅·奥托尼 1 佩赫、李世元 1 秦伟 1 达什·兰扬 1 法蒂玛·里亚兹 1 桑多·里戈 1 丹尼尔·施瓦茨·纳博恩 1 沙龙·肖姆 1 斯利瓦斯塔瓦，J.B。 1 普拉莫德·苏布拉曼扬 1 穆拉利达尔·塔卢普尔 1 维维克·库马尔·蒂瓦里 1 马尼什省瓦奇哈拉贾尼 1 莫西·亚亚科夫·瓦尔迪 1 王杭生 1 乔治·威森巴赫 1 安德鲁·沃尔夫 1 张淑媛 1 朱新平 全部的 前5名系列 三 集成。超大规模集成电路杂志 三 系统设计中的形式化方法 1 美国数学学会会刊 1 约束条件 1 计算机科学课堂讲稿 1 PTEP公司。理论与实验物理进展 全部的 前5名领域 28 计算机科学（68至XX） 6 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 流体力学（76-XX） 1 天文学和天体物理学（85-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用119中的次115文件 引用人▼ 年份▼ 关于求解局部MAX-SAT问题。 Zbl 1187.68540号 傅朝辉；沙拉德·马利克 37 2006 寻求有效的布尔可满足性求解器。 Zbl 1010.68530号 张林涛；沙拉德·马利克 16 2002 寻求有效的布尔可满足性求解器。 Zbl 1072.68599号 张林涛；沙拉德·马利克 14 2002 循环组合电路的分析。 Zbl 1303.94147号 沙拉德·马利克 9 1994 Zchaff2004：一个高效的SAT解算器。 兹比尔1122.68610 Yogesh S.马哈扬。；傅朝辉；沙拉德·马利克 9 2005 命题SAT求解。 Zbl 1392.68380号 若昂·西尔瓦侯爵；沙拉德·马利克 8 2018 关于计算最小独立支持度及其在采样和计数中的应用。 Zbl 1334.90146号 亚历山大·伊夫里；沙拉德·马利克；Kuldeep S.梅尔。；莫舍·瓦尔迪。 8 2016 \（KD_\infty）是一个CS-代数。 Zbl 0938.16014号 贾恩，S.K。；坎瓦尔，P。；马利克，S。；斯利瓦斯塔瓦，J.B。 7 2000 计算机辅助验证。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。 Zbl 1139.68005号 三 2008 线性约束下SMT的引理学习。 Zbl 1187.68418号 于银雷；沙拉德·马利克 2 2006 快速插值BMC。 Zbl 1381.68185号 亚基尔·维泽尔；阿里·古芬克尔；沙拉德·马利克 2 2015 IC3–在ICE中翻转E。 Zbl 1484.68105号 亚基尔·维泽尔；阿里·古芬克尔；沙龙·肖姆；沙拉德·马利克 2 2017 懒惰的自我组合用于安全验证。 Zbl 1511.68171号 杨伟坤；亚基尔·维泽尔；普拉莫德·苏布拉曼扬；阿尔蒂·古普塔；沙拉德·马利克 2 2018 硬件模型检查中用于生成引理的语法引导合成。 Zbl 1472.68096号 张洪策；阿尔蒂·古普塔；沙拉德·马利克 1 2021 用电路可观测性求解量化布尔公式并不重要。 Zbl 1187.68266号 唐大觉；沙拉德·马利克 1 2006 使用签名进行置换无关布尔比较的限制。 Zbl 1019.68062号 珍妮特·莫恩克；保罗·莫利托；沙拉德·马利克 1 2002 SAT解算器的缓存性能：高效实现算法的案例研究。 Zbl 1204.68213号 张林涛；沙拉德·马利克 1 2004 逻辑综合中低功耗的技术映射。 Zbl 0875.94131号 维威克·蒂瓦里；普拉纳夫·阿沙尔；沙拉德·马利克 1 1996 为模块化硬件验证合成环境不变量。 兹比尔07228508 张洪策；杨伟坤；格里戈里·费迪尤科维奇；阿尔蒂·古普塔；沙拉德·马利克 1 2020 电路状态空间直径问题引起的命题和量化布尔公式的可满足性的基于搜索的算法分析。 Zbl 1122.68619号 唐大觉；于银磊；达什·兰扬；沙拉德·马利克 1 2005 硬件模型检查中用于生成引理的语法引导合成。 Zbl 1472.68096号 张洪策；阿尔蒂·古普塔；沙拉德·马利克 1 2021 为模块化硬件验证合成环境不变量。 Zbl 07228508号 张洪策；杨伟坤；格里戈里·费迪尤科维奇；阿尔蒂·古普塔；沙拉德·马利克 1 2020 命题SAT求解。 Zbl 1392.68380号 若昂·西尔瓦侯爵；沙拉德·马利克 8 2018 懒惰的自我组合用于安全验证。 Zbl 1511.68171号 杨伟坤；亚基尔·维泽尔；普拉莫德·苏布拉曼扬；阿尔蒂·古普塔；沙拉德·马利克 2 2018 IC3–在ICE中翻转E。 Zbl 1484.68105号 亚基尔·维泽尔；阿里·古芬克尔；沙龙·肖姆；沙拉德·马利克 2 2017 关于计算最小独立支持度及其在采样和计数中的应用。 Zbl 1334.90146号 亚历山大·伊夫里；沙拉德·马利克；Kuldeep S.梅尔。；莫舍·瓦尔迪。 8 2016 快速插值BMC。 Zbl 1381.68185号 亚基尔·维泽尔；阿里·古芬克尔；沙拉德·马利克 2 2015 计算机辅助验证。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。 Zbl 1139.68005号 三 2008 关于求解局部MAX-SAT问题。 Zbl 1187.68540号 傅朝辉；沙拉德·马利克 37 2006 线性约束下SMT的引理学习。 Zbl 1187.68418号 于银雷；沙拉德·马利克 2 2006 用电路可观测性求解量化布尔公式并不重要。 Zbl 1187.68266号 唐大觉；沙拉德·马利克 1 2006 Zchaff2004：一个高效的SAT解算器。 Zbl 1122.68610号 Yogesh S.马哈扬。；傅朝辉；沙拉德·马利克 9 2005 分析基于搜索的算法，以确定由电路状态空间直径问题产生的命题和量化布尔公式的可满足性。 兹比尔1122.68619 唐大觉；于银雷；Darsh兰詹；沙拉德·马利克 1 2005 SAT解算器的缓存性能：高效实现算法的案例研究。 Zbl 1204.68213号 张林涛；沙拉德·马利克 1 2004 寻求有效的布尔可满足性求解器。 Zbl 1010.68530号 张林涛；沙拉德·马利克 16 2002 寻求有效的布尔可满足性求解器。 Zbl 1072.68599号 张林涛；沙拉德·马利克 14 2002 使用签名进行置换无关布尔比较的限制。 Zbl 1019.68062号 珍妮特·莫恩克；保罗·莫利托；沙拉德·马利克 1 2002 \（KD_\infty）是一个CS-代数。 Zbl 0938.16014号 贾恩，S.K。；坎瓦尔，P。；马利克，S。；斯利瓦斯塔瓦，J.B。 7 2000 逻辑综合中低功耗的技术映射。 Zbl 0875.94131号 维威克·蒂瓦里；普拉纳夫·阿沙尔；沙拉德·马利克 1 1996 循环组合电路分析。 Zbl 1303.94147号 沙拉德·马利克 9 1994 所有引用出版物 前5名被引用出版物 全部的 前5名261位作者引用 8 Joáo P.塞尔瓦侯爵。 5 林奇，因斯 5 Vasco M.Manquinho。 4 卡洛斯·安索特吉 4 米科拉什，雅诺塔 4 斯泽德，斯特凡 三 约塞普·阿格利奇 三 雅罗斯拉夫·本迪克 三 奥拉夫·拜尔斯多夫 三 玛丽亚·保拉（Maria Paola Bonacina） 三 贾马尔·哈贝特 三 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 三 很多，费利普 三 鲁本·马丁斯 三 Kuldeep S.梅尔。 三 安托尼奥·莫尔加多 2 艾丁·戈尔（Ebru Aydin Gol） 2 罗德里克·布洛姆 2 米克尔波菲尔 2 玛丽亚·路易莎·博内 2 詹斯·勃兰特 2 罗伯特·布鲁托梅索 2 蔡少伟 2 伊万娜·乔纳 2 亚历山德罗·西马蒂 2 多达罗，胭脂红 2 乔尔·加布 2 Järvisalo，马蒂 2 汤米·A·琼蒂拉。 2 约尔迪·利维 2 李楚敏 2 马克·利菲顿。 2 迈克尔·门德勒 2 安德烈·莫霍夫 2 米克尔帕拉西 2 乔迪，飞机 2 埃尔南·蓬塞·德莱昂 2 雅库布Salhi 2 舍韦，拉尔斯 2 克劳斯·施耐德 2 罗伯托·塞巴斯蒂亚尼 2 艾哈迈特·塞肯 2 弗里德里希·斯利沃夫斯基 2 Suy，约瑟普 2 莫西·亚亚科夫·瓦尔迪 2 马图·维拉雷特 1 Abd El-Maksoud，穆尼拉A。 1 阿雷格阿卜杜拉 1 安德烈·阿布拉梅 1 阿奇利奥普塔斯，迪米特里斯 1 华金·阿瓜多 1 塔斯尼姆·纳赛尔·叶海亚 1 Alt，Leonardo S。 1 马里奥·阿尔维亚诺 1 安托万·阿马里利 1 乔瓦尼·阿蒙多拉 1 梅里姆·阿穆拉 1 齐波拉阿尔齐·贡萨罗夫斯基 1 阿西恩·阿查，罗伯托 1 阿西恩，AcháRoberto 1 Franz巴德 1 法希姆·巴克斯 1 戴维·巴内雷斯 1 克里斯·巴特尔斯（Chris D.Bartels）。 1 David A.Basin。 1 杰里米亚斯·伯格 1 杰拉德·贝里 1 阿明·比尔 1 杰夫·比尔姆斯（Jeff A.Bilmes）。 1 乔舒亚·布林霍恩 1 Jürgen G.Bokowski。 1 艾哈迈德·博阿贾尼 1 皮埃尔·布赫斯 1 Boutglay，Wael胺 1 马可·波扎诺 1 布鲁尼，雷纳托 1 Randal E.布莱恩特。 1 奥塔维奥·布埃诺 1 达米安·巴斯托·加斯顿 1 Samuel R.巴斯。 1 阿尔巴州卡比斯科 1 查克拉波蒂，德布拉吉 1 查克拉波蒂，苏普拉特克 1 克里希南德·查特吉 1 穆罕默德·萨米·谢里夫 1 勒罗伊·周 1 约阿希姆·克莱门斯 1 科恩、埃尔丹 1 乔迪·科尔 1 克雷默斯，Cas J.F。 1 马达琳娜·克罗伊托鲁 1 阿德南·达尔维切 1 欧内斯特·戴维斯 1 吉列尔莫·德伊塔·卢纳 1 穆纳乔·埃切宁 1 穆罕默德·埃尔巴奇尔·梅奈 1 汤姆·恩格斯。 1 沃尔夫冈·费伯 1 方、超 1 格里戈里·费迪尤科维奇 …还有161位作者 全部的 前5名33连载 12 人工智能 8 自动推理杂志 8 约束条件 5 系统设计中的形式化方法 5 数学与人工智能年鉴 4 可满足性、布尔建模与计算杂志 三 国际近似推理杂志 2 信息学报 2 计算机与系统科学杂志 2 人工智能通信 2 逻辑程序设计理论与实践 2 优化信函 1 计算机与数学及其应用 1 信息科学 1 Studia Logica公司 1 理论计算机科学 1 欧洲组合数学杂志 1 符号计算杂志 1 计算机科学与技术杂志 1 离散和计算几何 1 运筹学年鉴 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 数学编程。A系列B系列 1 埃及数学学会杂志 1 人工智能研究杂志 1 启发式杂志 1 计算系统理论 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 离散优化 1 计算机科学中的逻辑方法 全部的 前5名11个领域引用 99 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 16 运筹学、数学规划（90-XX） 9 信息与通信理论、电路（94-XX） 4 阶、格、有序代数结构（06-XX） 三 统计学（62-XX） 2 组合数学（05-XX） 2 凸和离散几何（52至XX） 2 系统论；控制（93至XX） 1 数论（11-XX） 1 几何图形（51至XX） 按年份列出的引文