皮埃尔·汉森;西尔万·佩伦 将局部和全局方法合并到概率可满足性中。 （英语） Zbl 1343.68220号 国际J近似推理 47，第2期，125-140（2008）.MSC公司：68T20型 68层37 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{P.Hansen}和\textit{S.Perron}，《国际近似推理》47，第2期，125-140（2008；Zbl 1343.68220） 全文： 内政部
博格丹·S·克莱布斯。;莱塞克·加什西涅克;Dariusz R.科瓦尔斯基。;亚历克斯·A·施瓦茨曼。 一种执行独立任务的鲁棒随机算法。 （英语） Zbl 1154.90429号 J.离散算法 6，第4期，651-665（2008）.MSC公司：90B35型 05C85号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Chlebus}等人，J.离散算法6，第4期，651--665（2008；Zbl 1154.90429） 全文： 内政部
尼基尔·迪内什;阿拉文德·乔希;李因苏普;奥列格·索科尔斯基 在监管合规性检查中对法律的条件和例外进行推理。 （英语） 兹比尔1143.03351 范德梅登，罗恩（编辑）等，《计算机科学中的道义逻辑》。第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70524-6/pbk）。计算机科学课堂讲稿5076。人工智能课堂讲稿，110-124（2008）。MSC公司：03B80号 03B44号 03B60号 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{N.Dinesh}等人，Lect。注释计算。科学。5076、110-124（2008年；Zbl 1143.03351） 全文： 内政部 链接