艾丽卡·阿尔布拉汉姆;托拜厄斯·舒伯特;贝恩德·贝克尔;马丁·范策尔;克里斯蒂安·赫尔德 有界模型检查中的并行SAT求解。 （英文） 兹比尔1213.68359 J.日志。计算。 21，第1期，5-21（2011）.MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，J.Log。计算。21，第1号，第5--21号（2011；Zbl 1213.68359） 全文： 内政部
安德烈亚斯·艾格斯;马丁·范策尔;克里斯蒂安·赫尔德 SAT模ODE：混合系统的直接SAT方法。 （英文） Zbl 1183.68369号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，亚洲电视协会，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311171-185（2008）。MSC公司：60年第68季度 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。5311、171--185（2008年；Zbl 1183.68369） 全文： 内政部
马丁·范策尔;克里斯蒂安·赫尔德 HySAT：混合系统有界模型检查的有效证明引擎。 （英文） Zbl 1116.68048号 形式方法系统。设计。 30，第3期，179-198（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{C.Herde}，《形式方法系统》。设计。30，第3号，179--198（2007；Zbl 1116.68048） 全文： 内政部
马丁·范策尔;克里斯蒂安·赫尔德;蒂诺·特伊格;斯特凡·拉特肖恩;托拜厄斯·舒伯特 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 （英文） Zbl 1144.68371号 J.满意。布尔模型。计算。 1，编号3-4，209-236（2006）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，J.Satisf。布尔模型。计算。1，编号3--4，209--236（2006；Zbl 1144.68371）
马丁·范策尔;克里斯蒂安·赫尔德 简洁逻辑的高效SAT引擎：加速零线性约束系统的证明搜索。 （英文） Zbl 1273.68319号 Vardi，Moshe Y.（编辑）等人，《编程逻辑、人工智能和推理》。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20101-7/pbk）。莱克特。注释计算。科学。2850, 302-316 (2003).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}和\textit{C.Herde}，Lect。注释计算。科学。2850302-316（2003年；Zbl 1273.68319）