Jun-cheng Yang

  • Citations Per Year
Learn More
As semantic Web services (SWS) rapidly becoming a vigorous technology research area, several large research initiatives have been produced. Meanwhile, a great deal of innovative work on semantic Web services discovery (SWSD) has been done, however, it is critical to meet the requirement of real-world applications. Hence, researchers are still seeking for(More)
Backdoor sets of SAT problem can quickly decide the satisfiability of real-world SAT instances, and the QBF problem is the generalization of SAT problem, so backdoor sets of QBF are crucial to its solution. We propose a new algorithm of computing QHorn deletion backdoor sets in this paper, which contains two stages. Firstly, we compute renamed QBF formula(More)
  • 1