Search Word(s) in Title, Keywords, Authors, and Abstract: MOAMD Strategy

An Algorithm Solving SAT Problem Based on Splitting Rule and Extension Rule
Youjun Xu
Page: 1149~1157, Vol. 13, No.5, 2017
10.3745/JIPS.02.0071

Keywords: Extension Rule, IER, MOAMD Strategy, Satisfiability Problem, Splitting Rule
Show / Hide Abstract