计算机科学>计算机科学中的逻辑
标题: 第四届反应合成大赛(SYNTCOMP 2017):基准、参与者和结果
摘要: 我们报道了第四届反应合成竞赛(SYNTCOMP 2017)。 我们介绍了添加到SYNTCOMP库中的两个新的基准类,并简要描述了SYNTCOMP2017的基准选择、评估方案和实验设置。 我们向2017年SYNTCOMP的参与者介绍,重点是与前几年相比的变化,以及进入竞争的两个全新工具。 最后,我们给出并分析了实验评估的结果,包括根据解决方案的数量和质量对工具进行的排名。