论文标题
基准实例及其属性的协作管理
Collaborative Management of Benchmark Instances and their Attributes
论文作者
论文摘要
实验评估是算法设计过程中不可或缺的一部分。公开可用的基准实例被广泛用于评估SAT解决方案中的方法。为了解释结果和算法投资组合的设计，其属性至关重要。通过我们对基准实例标识符的规范，可以大大简化基准实例及其属性的相互关系。因此，我们的工具通过提供通过其属性来管理和检索基准实例的手段来提高两者的可用性，反之亦然。这样，它促进了SAT实验的设计和分析以及结果的交换。
Experimental evaluation is an integral part in the design process of algorithms. Publicly available benchmark instances are widely used to evaluate methods in SAT solving. For the interpretation of results and the design of algorithm portfolios their attributes are crucial. Capturing the interrelation of benchmark instances and their attributes is considerably simplified through our specification of a benchmark instance identifier. Thus, our tool increases the availability of both by providing means to manage and retrieve benchmark instances by their attributes and vice versa. Like this, it facilitates the design and analysis of SAT experiments and the exchange of results.
