ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy

Ping Guo 0003, Yang Zhang. ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy. Appl. Intell., 52(2):1740-1751, 2022. [doi]

Abstract

Abstract is missing.