Yoichiro Iida, Tomohiro Sonobe, Mary Inaba. Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. In Sankalp Khanna, Jian Cao 0001, Quan Bai, Guandong Xu, editors, PRICAI 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10-13, 2022, Proceedings, Part I. Volume 13629 of Lecture Notes in Computer Science, pages 61-74, Springer, 2022. [doi]
Abstract is missing.