Improvement in Li Chu-min Algorithm by Using an Inheritance Strategy
Huang Wen · Journal of Jianghan Petroleum Institute · 2001
A preliminary study is carried out on a strict algorithm for solving SAT problems by using inheritance strategy The strict algorithm, which was put forward by Li Chu min in 1997, is improved with the strategy Speed of the improved algorithm increases about 5%