编辑配置文件(在新选项卡中打开) 文森特·瓦拉德 合著者距离 作者ID: 瓦莱德·文森特 发布日期: 文森特·瓦拉德 已编制索引的文档: 2出版物自2020年起 合著者: 6位合著者具有2联合出版物 83位合作作者 全部的 前5名合著者 0 单作者的 2 苏海卜·巴里尔 2 Ganesh,维杰 2 朱利安·索佩纳 1 法布里斯·科登 1 卢多维奇·勒弗里克斯 1 赛义德·内贾蒂 系列 字段 2 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 用于并行SAT求解的基于社区和LBD的子句共享策略。 Zbl 07331009号 文森特·瓦拉德;卢多维奇·勒弗里克斯;苏海卜·巴里尔;朱利安·索佩纳;Ganesh,维杰;法布里斯·科登 1 2020 用于并行SAT求解的基于社区和LBD的子句共享策略。 Zbl 07331009号 文森特·瓦拉德;卢多维奇·勒弗里克斯;苏海卜·巴里尔;朱利安·索佩纳;Ganesh,维杰;法布里斯·科登 1 2020 3位作者引用 1 Kuldeep S.梅尔。 1 尼古拉斯·普雷沃特 1 索斯,马特 0连载引用 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文