利用近似解加速求解SAT问题的启发式完全算法
이용근사해가속구해SAT문제적계발식완전산법
A Heuristic Complete Algorithm for SAT Problem by Approximation Solution
저자의 최근 논문