可满足性问题的研究综述
가만족성문제적연구종술
A Survey of Algorithms for SAT Problem
저자의 최근 논문