A Topological Parallel Algorithm for the Pure Literal Rule in the Satisfiability Problem Solving Using a Matrix-Based Approach. - Tan, Jieqing; Li, Yingjie (Applied Sciences (2076-3417), 2025)