启发式极性决策算法解SAT问题
계발식겁성결책산법해SAT문제
저자의 최근 논문