×
作者ID: 赫德·克里斯蒂安“Herde,Christian”最近发表的zbMATH文章
发布日期: 克里斯蒂安·赫尔德
外部链接: MGP公司
已编制索引的文档: 5出版物自2003年起
合著者: 7合著者具有5份联合出版物
188位Co-Co作者

按年份列出的出版物

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名

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位作者

按年份列出的引文