An algorithm based on resolution for the satisfiability problem

• Published in: 2010 2nd International Conference on Advanced Computer Control Vol. 4; pp. 420 - 423
• Main Authors: Youjun Xu, Dantong Ouyang, Yuxin Ye
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.03.2010
• Subjects: Appropriate technology; Artificial intelligence; Computer science; Computer science education; Computer vision; directional resolution; Educational institutions; Educational technology; Knowledge engineering; Laboratories; satisfiability problem; splitting rule; SRDR; strategy MO

The satisfiability problem is the core problem in artificial intelligence. The algorithm directional resolution (DR) is a well known method based on resolution for satisfiability problem. But the number of clauses has great impact on the efficiency of the method. In this paper, an algorithm SRDR is...