M. Saqib Nawaz, Meng Sun 0002, Philippe Fournier-Viger. Proof Searching in PVS Theorem Prover Using Simulated Annealing. In Ying Tan 0002, Yuhui Shi, editors, Advances in Swarm Intelligence - 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021, Proceedings, Part II. Volume 12690 of Lecture Notes in Computer Science, pages 253-262, Springer, 2021. [doi]
Abstract is missing.