编辑配置文件(在新选项卡中打开) 克里斯蒂安·赫尔德 合著者距离 作者ID: 赫德·克里斯蒂安 发布日期: 克里斯蒂安·赫尔德 外部链接: MGP公司 已编制索引的文档: 5出版物自2003年起 合著者: 7合著者具有5份联合出版物 188位Co-Co作者 全部的 前5名合著者 0 单作者的 5 马丁·范策尔 2 舒伯特、托比亚斯 1 艾丽卡·阿尔布拉汉姆 1 贝恩德·贝克尔 1 安德烈亚斯·艾格斯 1 斯特凡·拉特肖恩 1 蒂诺州泰格 系列 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 可满足性、布尔建模与计算杂志 字段 5 计算机科学(68-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用87中的次69文件 引用人▼ 年份▼ 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 Zbl 1144.68371号 马丁·范策尔;克里斯蒂安·赫尔德;蒂诺州泰格;斯特凡·拉特肖恩;舒伯特、托比亚斯 48 2006 HySAT:混合系统有界模型检查的有效证明引擎。 Zbl 1116.68048号 马丁·范策尔;克里斯蒂安·赫尔德 20 2007 SAT模ODE:混合系统的直接SAT方法。 Zbl 1183.68369号 安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德 13 2008 有界模型检查中的并行SAT求解。 兹比尔1213.68359 艾丽卡·阿尔布拉汉姆;舒伯特、托比亚斯;贝恩德·贝克尔;马丁·范策尔;克里斯蒂安·赫尔德 三 2011 简洁逻辑的高效SAT引擎:加速零线性约束系统的证明搜索。 Zbl 1273.68319号 马丁·范策尔;克里斯蒂安·赫尔德 三 2003 有界模型检查中的并行SAT求解。 Zbl 1213.68359号 艾丽卡·阿尔布拉汉姆;舒伯特、托比亚斯;贝恩德·贝克尔;马丁·范策尔;克里斯蒂安·赫尔德 三 2011 SAT模ODE:混合系统的直接SAT方法。 Zbl 1183.68369号 安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德 13 2008 HySAT:混合系统有界模型检查的有效证明引擎。 Zbl 1116.68048号 马丁·范策尔;克里斯蒂安·赫尔德 20 2007 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 Zbl 1144.68371号 马丁·范策尔;克里斯蒂安·赫尔德;蒂诺州泰格;斯特凡·拉特肖恩;舒伯特、托比亚斯 48 2006 简洁逻辑的高效SAT引擎:加速零线性约束系统的证明搜索。 Zbl 1273.68319号 马丁·范策尔;克里斯蒂安·赫尔德 三 2003 所有引用出版物 前5名被引用出版物 全部的 前5名164位作者引用 10 马丁·范策尔 8 艾丽卡·阿尔布拉汉姆 6 安德烈亚斯·艾格斯 6 蒂诺州泰格 5 亚历山德罗·西马蒂 4 基里恩·克莱默 4 丹尼尔·科宁 三 亚历山德罗·阿巴特 三 弗洛里安·科齐利厄斯 三 阿尔贝托·格里乔 三 Stefan Kupferschmid 三 纳西·拉姆达尼 2 贝恩德·贝克尔 2 克里斯蒂娜·博拉莱拉斯 2 Brain,马丁 2 卜、雷 2 达里奥·卡塔鲁扎 2 达姆,沃纳 2 詹姆斯·哈罗德·达文波特 2 英格兰,马修 2 克里斯蒂安·赫尔德 2 霍尔格·赫尔曼斯 2 Joost-Pieter卡托恩 2 Khanh,To Van先生 2 金恩赫(Kim,Eunhee) 2 权永民 2 李宣东 2 萨尔瓦多卢卡斯 2 塞尔吉奥·莫弗 2 伊娃·玛丽亚·纳瓦罗·洛佩斯 2 内迪亚科夫(Nedialko S.)。 2 小川,水井裕人 2 安德烈·帕塞里尼 2 恩里克·罗德里格斯-卡博内尔 2 阿尔伯特·鲁比奥 2 彼得·施拉梅尔 2 斯特凡·舒普 2 罗伯托·塞巴斯蒂安 2 斯特凡诺·特索 2 斯特凡诺·托内塔 2 董武宣 2 克里斯托夫·韦登巴赫 1 苏米特·贾·安纳德 1 Abbott,John A。 1 沃尔夫冈·阿伦特 1 贝扎德·阿克巴普尔 1 恩斯特·奥尔特豪斯 1 苏海卜·巴里尔 1 巴哈雷赫巴德班 1 斯坦利·巴克 1 埃齐奥·巴托西 1 罗伯托·巴蒂蒂 1 安德烈亚·贝卡 1 多梅尼科·比安库利 1 安娜·玛丽亚·比加蒂 1 克里斯托弗·比肖宾克 1 塞尔吉·博戈莫洛夫 1 马可·波扎诺 1 马丁·布隆伯格 1 布赫伯格,布鲁诺 1 保罗·坎皮戈托 1 卢卡·卡德利 1 卡特、丽贝卡 1 玛格丽特·查普曼。 1 克里斯蒂安·科伦坡 1 克利斯朵夫·康巴斯特 1 胡安·德·拉腊 1 斯特凡·迪什 1 维杰·迪尔瓦 1 丹尼尔·杜米特里乌 1 简·杜拉茨 1 特里斯坦·埃伯特 1 乌里·法伦贝格 1 伊利耶斯·法尔科内 1 杰罗姆·费雷特 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 阿德里安·弗兰卡兰扎 1 安东尼奥·加门迪亚 1 塞巴斯蒂安·格温 1 亚历山大·戈德斯特恩 1 戈麦斯·马丁内斯,埃琳娜 1 马克·格林斯特雷特(Mark R.Greenstreet)。 1 埃丝特·格拉 1 恩斯特·莫里茨·哈恩 1 利奥波德·哈勒 1 阿恩·哈特曼斯 1 哈迪·亨加 1 石井、大辅 1 瑞典雅各布斯 1 焦、李 1 塞巴斯蒂安·荣格斯 1 纳塔利亚·卡林尼克 1 阿尼萨·凯里丁 1 托马斯·科拉里克 1 米查尔·科内奇 1 保罗·克罗格 1 Sr Djan Krstić 1 克鲁格洛夫,叶甫根尼·瓦伦蒂诺维奇 1 马丁·兰格 …还有64位作者 全部的 前5名15篇连载文章中引用 11 系统设计中的形式化方法 三 人工智能 三 理论计算机科学 三 自动推理杂志 2 数学与人工智能年鉴 2 非线性分析。混合动力系统 2 程序设计中的逻辑和代数方法杂志 1 运营研究信件 1 信息与计算 1 计算的形式方面 1 控制科学档案 1 约束条件 1 动力系统的数学和计算机建模 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 全部的 前5名在12个字段中引用 61 计算机科学(68-XX) 14 系统论;控制(93至XX) 9 数学逻辑和基础(03-XX) 7 数值分析(65-XX) 7 运筹学、数学规划(90-XX) 4 常微分方程(34-XX) 三 生物学和其他自然科学(92-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 代数拓扑(55-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文