QBF求解算法研究综述
QBF구해산법연구종술
Survey on QBF Evaluation Algorithms
저자의 최근 논문