奥利维尔·罗塞尔 使用runsolver Tool控制解算器执行。 （英语） Zbl 1331.68210号 J.满意。布尔模型。计算。 7，第4期，139-144（2011）. 摘要：runsolver工具是为2005年版的伪布尔竞赛设计的，目的是解决正确测量解算器（尤其是具有多个进程的解算器）使用的资源的问题。自那时以来，它在几个方面得到了改进，并被其他几个竞赛或框架所采用。本文介绍了该工具的内部工作原理及其解决的技术问题。 引用于9文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：解算器控件；资源限制；比赛 软件：运行求解器 PDF格式BibTeX公司 XML格式引用 \textit{O.Roussel}，J.Satisf（J.满意）。布尔模型。计算。7，第4号，139--144（2011；Zbl 1331.68210）