Solving Process of Backdoors Set in QBF
CSTR:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    The Backdoors as one of the important structures of problem QBF, it makes QBF problems easier in solving difficulty. In QBF problem, the solving of backdoors is quite complex and difficult to understand. In order to enable the reader to better understand the solving process, this paper researches the solving process of backdoors for QBF problems, calculates the depth of variable x and the triangle dependent set of variable DψΔ(x) that is meet the condition by combining the examples. This paper solves the backdoors of this problem according to the ideas of B=B∪{x}=x and ψ'=ψ-DψΔ(x). We are hoping that it can provide a reference for researchers in this field.

    Reference
    Related
    Cited by
Get Citation

杨俊成,陶琳,李淑霞. QBF问题中隐蔽集的求解过程.计算机系统应用,2016,25(8):250-253

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:November 30,2015
  • Revised:January 04,2016
  • Adopted:
  • Online: August 16,2016
  • Published:
Article QR Code
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063