安德烈亚斯·艾格斯;纳西·拉姆达尼;内迪亚科夫;马丁·范策尔 通过组合不同的封闭方法改进SAT模ODE以用于混合系统分析。 （英语） Zbl 1350.68231号 Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。《计算机科学讲义》7041、172-187（2011）。MSC公司：68吨15 34-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Eggers}等人，Lect。注释计算。科学。7041172--187（2011年；Zbl 1350.68231） 全文： DOI程序
简·大卫·奎塞尔;马丁·范策尔;达姆，沃纳 跨越类似游戏之间的桥梁。 （英语） Zbl 1348.68147号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，160-176（2011）。MSC公司：60年第68季度 65年第68季度 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Quesel}等人，Lect。注释计算。科学。6919、160--176（2011年；Zbl 1348.68147） 全文： DOI程序
马丁·范策尔;克里斯蒂安·赫尔德;蒂诺·特伊格;斯特凡·拉特肖恩;托拜厄斯·舒伯特 具有复杂布尔结构的大型非线性算术约束系统的高效求解。 （英语） 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）