Dr. Hanzhong Wang received his Bachelor's degree in Huazhong Agricultural University in 1984. From 1984 to 1990, he majored in crop genetics and breeding in Huazhong Agricultural University for his M.S. degree and...Dr. Hanzhong Wang received his Bachelor's degree in Huazhong Agricultural University in 1984. From 1984 to 1990, he majored in crop genetics and breeding in Huazhong Agricultural University for his M.S. degree and Ph.D. degree (supervised by Prof. Houli Liu).展开更多
An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals...An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals) ill time O(F.),where F is the length of input F, n is the number of atoms occurring in F, and k isthe greatest real number satisfying the equation x = 2-. Compared with previousresults, this nontrivial upper bound on time complexity could only be obtained fork-SAT, which is a subproblem of k-positive SAT.展开更多
文摘Dr. Hanzhong Wang received his Bachelor's degree in Huazhong Agricultural University in 1984. From 1984 to 1990, he majored in crop genetics and breeding in Huazhong Agricultural University for his M.S. degree and Ph.D. degree (supervised by Prof. Houli Liu).
文摘An algorithm for solving the satisfiability problem is presented. It isproceed that this algorithm solves 2-SAT and Horn-SAT in linear time and k-positiveSAT (in which every clause contains at most k positive literals) ill time O(F.),where F is the length of input F, n is the number of atoms occurring in F, and k isthe greatest real number satisfying the equation x = 2-. Compared with previousresults, this nontrivial upper bound on time complexity could only be obtained fork-SAT, which is a subproblem of k-positive SAT.