编辑配置文件（在新选项卡中打开） 克里斯托夫·泽格勒 合著者距离 作者ID： 曾格勒·克里斯托夫 发布方式： 克里斯托弗·曾格勒 已编制索引的文档： 5出版物自2010年起 1名编辑贡献 合著者： 6位合著者具有6联合出版物 152名Co-Co作者 全部的 前5名合著者 0 单作者的 三 Küchlin，Wolfgang W。 2 托马斯·斯特姆 1 亨德里克·彼得·巴伦德雷格特 1 Fairouz Kamreddine公司 1 安德烈亚斯·库布勒 1 Wells，Joe B。 系列 2 计算机代数中的ACM通信 1 计算机科学课堂讲稿 领域 6 计算机科学（68-XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 交换代数（13-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 参数化量化SAT求解。 Zbl 1321.68322号 托马斯·斯特姆;克里斯托夫·泽格勒 2 2010 用布尔Gröbner基扩展SAT解算器的子句学习。 Zbl 1290.68141号 克里斯托夫·泽格勒;沃尔夫冈·库奇林 1 2010 参数化量化SAT求解。 Zbl 1321.68322号 托马斯·斯特姆;克里斯托夫·泽格勒 2 2010 用布尔Gröbner基扩展SAT解算器的子句学习。 Zbl 1290.68141号 克里斯托夫·泽格勒;沃尔夫冈·库奇林 1 2010 全部的 前5名7位作者引用 1 安德烈亚斯·多尔兹曼 1 简·霍拉克 1 马雷克·科什塔 1 马丁·克鲁泽 1 Küchlin，Wolfgang W。 1 托马斯·斯特姆 1 克里斯托夫·泽格勒 连载1篇 2 符号计算杂志 在5个字段中引用 三 计算机科学（68-XX） 1 数理逻辑与基础（03-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文