编辑配置文件（在新选项卡中打开） 伯查德，简 合著者距离 作者ID： 伯查德·詹 发布日期： 伯查德，简 已编制索引的文档： 2出版物自2015年起 合著者： 4位合著者具有2联合出版物 133位合作作者 合著者 0 单作者的 2 贝恩德·贝克尔 1 简·霍拉克 1 马丁·克鲁泽 1 托拜厄斯·舒伯特 系列 领域 2 计算机科学（68至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用4中的次4文件 引用人▼ 年份▼ 用于并行#SAT求解的自由缓存。 Zbl 1471.68175号 伯查德，简;托拜厄斯·舒伯特;贝恩德·贝克尔 三 2015 集成代数和SAT求解器。 Zbl 1497.68546号 简·霍拉克;伯沙尔，简;贝恩德·贝克尔;马丁·克鲁泽 1 2017 集成代数和SAT求解器。 Zbl 1497.68546号 简·霍拉克;伯查德，简;贝恩德·贝克尔;马丁·克鲁泽 1 2017 用于并行#SAT求解的自由缓存。 Zbl 1471.68175号 伯查德，简;托拜厄斯·舒伯特;贝恩德·贝克尔 三 2015 全部的 前5名8位作者引用 三 费希特，约翰内斯·克劳斯 三 马库斯·赫彻 三 斯特凡·沃尔特兰 2 帕特里克·蒂尔 1 简·霍拉克 1 马丁·克鲁泽 1 迈克尔·莫拉克 1 马库斯·齐塞尔 3篇连载文章中引用 1 人工智能 1 符号计算杂志 1 逻辑程序设计理论与实践 在4个字段中引用 4 计算机科学（68至XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文