An Algorithm Solving SAT Problem Based on Splitting Rule and Extension Rule

Download PDF
Open Webpage

Youjun Xu

Published: 01 Jan 2017, Last Modified: 16 May 2025J. Inf. Process. Syst. 2017EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Journal of Internet Computing and Services (jips) Paper Details