Improving two-mode algorithm via probabilistic selection for solving satisfiability problem

Huimin Fu 0002, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu 0001. Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci., 653:119751, January 2024. [doi]

Abstract

Abstract is missing.