Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
复制标题
自动推理 - 第 11 届国际联合会议，IJCAR 2022，以色列海法，2022 年 8 月 8-10 日，会议记录
DOI：
10.1007/978-3-031-10769-6_33
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Mangla C
中科院分区：
文献类型：
--
作者：
Mangla C
一个策略时间表分配时间证明策略，在定理证明程序中顺序使用。我们采用贝叶斯统计提出替代序列的战略计划，在每次证明尝试。在TPTP问题库上进行测试，我们的方法节省了50%以上的时间。通过扩展这种方法来优化每个策略的固定时间分配，我们得到了显着增加的定理证明的数量。
Astrategy scheduleallocates time to proof strategies that are used in sequence in a theorem prover. We employ Bayesian statistics to propose alternative sequences for the strategy schedule in each proof attempt. Tested on the TPTP problem library, our method yields a time saving of more than 50%. By extending this method to optimize the fixed time allocations to each strategy, we obtain a notable increase in the number of theorems proved.