编辑配置文件（在新选项卡中打开） 苏海卜·巴里尔 合著者距离 作者ID： 巴里尔·苏海卜 发布日期： 苏海卜·巴里尔;巴里尔，S。 编入索引的文档： 7出版物自2011年起 合著者： 18位合著者具有7联合出版物 128位合作作者 全部的 前5名合著者 0 单作者的 三 Fabrice Kordon公司 2 马克西米利安·科朗格 2 维杰·加内什 2 朱利安·索佩纳 2 文森特·瓦拉德 1 塞西尔·布劳恩斯坦 1 亚历山大·杜雷特·卢茨 1 埃曼纽尔·恩克雷纳兹 1 让-米歇尔·伊利 1 阿尼萨·凯里丁 1 卢多维奇·勒弗里克斯 1 哈坎·梅廷 1 伊莎贝尔·穆尼尔 1 赛义德·内贾蒂 1 丹尼斯·波特雷诺 1 艾蒂安·雷诺 1 蒂里·米格（Yann Thierry-Mieg） 1 萨那尤纳斯 系列 1 系统设计中的形式化方法 1 约束条件 领域 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用9中的次9文件 引用人▼ 年份▼ CDCLSym：在SAT求解中引入有效的对称破缺。 Zbl 1423.68462号 哈坎·梅廷;苏海卜·巴里尔;马克西米利安·科朗格;Fabrice Kordon公司 三 2018 鳄鱼：分析带袋对称网的符号/象征工具。 Zbl 1330.68198号 科朗格，M。;巴里尔，S。;科尔登，F。;蒂里·米格（Thierry-Mieg，Y.）。 2 2011 基于SAT的确定性自动机最小化。 Zbl 1471.03041号 苏海卜·巴里尔;亚历山大·杜雷特·卢茨 2 2015 用于并行SAT求解的基于社区和LBD的子句共享策略。 Zbl 07331009号 文森特·瓦拉德;卢多维奇·勒弗里克斯;苏海卜·巴里尔;朱利安·索佩纳;维杰·加内什;Fabrice Kordon公司 1 2020 通过符号模型检查进行稳健性量化的可行性分析。 Zbl 1247.68156号 苏海卜·巴里尔;塞西尔·布劳恩斯坦;埃曼纽尔·恩克雷纳兹;Jean-Michel伊利;伊莎贝尔·穆尼尔;丹尼斯·波特雷诺;萨那尤尼斯 1 2011 用于并行SAT求解的基于社区和LBD的子句共享策略。 兹比尔07331009 文森特·瓦拉德;卢多维奇·勒弗里克斯;苏海卜·巴里尔;朱利安·索佩纳;维杰·加内什;Fabrice Kordon公司 1 2020 CDCLSym：在SAT求解中引入有效的对称破缺。 Zbl 1423.68462号 哈坎·梅廷;苏海卜·巴里尔;马克西米利安·科朗格;Fabrice Kordon公司 三 2018 基于SAT的确定性自动机最小化。 兹比尔1471.03041 苏海卜·巴里尔;亚历山大·杜雷特·卢茨 2 2015 鳄鱼：分析带袋对称网的符号/象征工具。 Zbl 1330.68198号 科朗格，M。;巴里尔，S。;F.科登。;蒂里·米格（Thierry-Mieg，Y.）。 2 2011 通过符号模型检查进行稳健性量化的可行性分析。 Zbl 1247.68156号 苏海卜·巴里尔;塞西尔·布劳恩斯坦;埃曼纽尔·恩克雷纳兹;Jean-Michel伊利;伊莎贝尔·穆尼尔;丹尼斯·波特雷诺;萨那尤尼斯 1 2011 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 2 库尔迪普·S·米尔。 2 乌卡斯·米库尔斯基 2 艾蒂安·雷诺 1 阿利亚斯·阿拉马维 1 苏海卜·巴里尔 1 雷诺德·克莱维尔 1 马克西米利安·科朗格 1 戴维·德·弗鲁托斯·埃斯克里格 1 杰罗姆·杜波伊斯 1 亚历山大·杜雷特·卢茨 1 富士达，富城府 1 格巴吉迪·艾塞，亚历山大 1 Clément吉拉德 1 马蒂亚斯·海兹曼 1 阿尼萨·凯里丁 1 萨尔夫拉兹·库希德 1 马西耶·库特尼 1 伊万·拉内斯 1 亨利克·劳科 1 雷吉斯·勒沃格尔 1 安托万·马丁 1 松崎隆彦 1 托马斯·梅迪奥尼 1 劳伦斯·皮埃尔 1 尼古拉斯·普雷沃特 1 弗洛里安·伦金 1 克里斯蒂安·席林 1 Schlehuber Caissier，菲利普 1 索斯，马特 1 丹尼尔·蒂施纳 1 王开元 1 王文喜 2篇连载文章中引用 1 约束条件 1 计算机基础理论 在3个字段中引用 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文