阿明·比尔（编辑）;Marijn脚后跟（编辑）;汉斯·范马伦（编辑）;托比·沃尔什（编辑） 满意度手册。分为两部分。第二次更新和修订版。 （英语） Zbl 1456.68001号 人工智能和应用的前沿336.阿姆斯特丹：IOS出版社（ISBN 978-1-64368-160-3/pbk；978-1-643 68-161-0/ebook）。十七、1465页。(2021).MSC公司：68-00 第68季度第60季度 2007年4月68日 68T20型 68T27型 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}（编辑）等人，《可满足性手册》。分为两部分。第二次更新和修订版。阿姆斯特丹：IOS出版社（2021；Zbl 1456.68001） 全文： 链接
van Maaren，H。;范诺登，L。;Heule，M.J.H。 MAX-SAT的基于平方和的近似算法。 （英语） 兹比尔1152.68058 离散应用程序。数学。 156，第10期，1754-1779（2008）.MSC公司：68周25 68T20型 90立方厘米22 PDF格式BibTeX公司 XML格式引用 \textit｛H.van Maaren｝等人，离散应用。数学。156，第10号，1754-1779（2008；Zbl 1152.68058） 全文： 内政部
汉斯·范马伦;琳达·范诺登 固定密度随机3-CNF实例的Horn分数、可满足性和求解器性能之间的相关性。 （英语） Zbl 1099.68104号 安。数学。Artif公司。智力。 44，第1-2号，157-177（2005）.MSC公司：68T20型 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.van Maaren}和\textit{L.van Norden}，Ann.数学。Artif公司。智力。44，编号1--2，157-177（2005；Zbl 1099.68104） 全文： 内政部
汉斯·范马伦;琳达·范诺登 固定密度SAT形态的隐阈值现象。 （英语） Zbl 1204.68214号 Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 135-149 (2004).MSC公司：68T20型 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{H.van Maaren}和\textit{L.van Norden}，莱克特。注释计算。科学。2919、135——149（2004年；Zbl 1204.68214） 全文： 内政部
德克勒克，E。;van Maaren，H。 关于\（2+p）\）-SAT的半定规划松弛。 （英语） Zbl 1050.68050号 安。数学。Artif公司。智力。 37，第3期，285-305（2003）.MSC公司：65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{E.de Klerk}和\textit{H.van Maaren}，Ann.数学。Artif公司。智力。37，第3号，285--305（2003；Zbl 1050.68050） 全文： 内政部
汉斯·范马伦;华纳，Joost P。 使用椭圆近似求解可满足性问题。关于体积和重量的注释。 （英语） 兹比尔1010.68070 安。数学。Artif公司。智力。 37，第3期，273-283（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Maaren}和\textit{J.P.Warners}，Ann.数学。Artif公司。智力。37，第3号，273--283（2003；Zbl 1010.68070） 全文： 内政部
艾蒂安·德克勒克;汉斯·范马伦;华纳，Joost P。 利用半定规划放松可满足性问题。 （英语） Zbl 0979.68050号 Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 189-213 (2000).MSC公司：65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.de Klerk}等人，前面。Artif公司。智力。申请。63、189--213（2000；Zbl 0979.68050）
伊恩·根特（编辑）;汉斯·范马伦（编辑）;托比·沃尔什（编辑） 2000年满意度研究重点。第三次国际研讨会，1998年9月。 （英语） Zbl 0963.00028号 人工智能和应用的前沿. 63. 阿姆斯特丹：IOS出版社。东京：Ohmsha。第561页（2000年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit｛I.Gent｝（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社；东京：Ohmsha（2000；Zbl 0963.00028）
艾蒂安·德克勒克;汉斯·范马伦;华纳，Joost P。 利用半定规划放松可满足性问题。 （英语） Zbl 0965.03017号 J.汽车。推理 24，编号1-2，37-65（2000）.MSC公司：03B35型 90立方厘米22 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.de Klerk}等人，J.Autom。推理24，No.1--2，37-65（2000；Zbl 0965.03017） 全文： 内政部
华纳，Joost P。;汉斯·范马伦 通过平衡多项式表示识别可处理的可满足性问题。 （英语） Zbl 0943.68061号 离散应用程序。数学。 99，编号1-3，229-244（2000）.MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Warners}和\textit{H.van Maaren}，离散应用。数学。99，编号1--3，229--244（2000；Zbl 0943.68061） 全文： 内政部
华纳，Joost P。;汉斯·范马伦 求解一类难满足问题的两阶段算法。 （英语） Zbl 0960.90100号 操作。Res.Lett公司。 23，No.3-5，81-88（1998）.MSC公司：90C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Warners}和\textit{H.van Maaren}，Oper。Res.Lett公司。23，编号3--5，81-88（1998；Zbl 0960.90100） 全文： 内政部