QBF求解算法研究综述

Keywords: [SAT, QBF, 求解算法, 模型检验, 形式化验证, SAT, QBF, evaluation algorithms, model checking, formal verification]

Full-Text   Cite this paper   Add to My Lib

Abstract:

近10年来，布尔可满足性(SAT)求解技术飞速发展，并已经成..

Full-Text