可满足性问题的研究综述
가만족성문제적연구종술
A Survey of Algorithms for SAT Problem
  • 万方数据
    计算技术与自动化 계산기술여자동화
    COMPUTING TECHNOLOGY AND AUTOMATION
    2009年 4期 138-143 ,共6页

    王建新%管利娜%江国红

    왕건신%관리나%강국홍

    可满足性问题%NP完全问题%参数计算 可滿足性問題%NP完全問題%參數計算
    가만족성문제%NP완전문제%삼수계산
    对SAT问题及其各种约束子问题进行分类并给出具体定义,着重介绍常规SAT问题、最大可满足性问题(MAX-SAT)和参数化SAT问题的相关算法,并对参数算法中运用的技术进行分析和比较,提出一些SAT问题研究中值得关注的几个方面.
    대SAT문제급기각충약속자문제진행분류병급출구체정의,착중개소상규SAT문제、최대가만족성문제(MAX-SAT)화삼수화SAT문제적상관산법,병대삼수산법중운용적기술진행분석화비교,제출일사SAT문제연구중치득관주적궤개방면.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문