View in EDS HTML Full Text PDF Full Text

A Topological Parallel Algorithm for the Pure Literal Rule in the Satisfiability Problem Solving Using a Matrix-Based Approach.

Saved in:
Bibliographic Details
Title: A Topological Parallel Algorithm for the Pure Literal Rule in the Satisfiability Problem Solving Using a Matrix-Based Approach.
Authors: Tan, Jieqing1, Li, Yingjie2, liyingjie0928@163.com
Source: Applied Sciences (2076-3417); Dec2025, Vol. 15 Issue 24, p13111, 16p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:20763417
DOI:10.3390/app152413111