一个极小不可满足公式子集的构造
일개겁소불가만족공식자집적구조
A Structure of Minimal Unsatisfiable Formulas Subsets
저자의 최근 논문