基于不可满足原因的最小纠正集求解

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

基于不可满足原因的最小纠正集求解

胡潇洒，张越岭，李建文，蒲戈光，张敏

MCS calculation based on unsatisfiable reasons

HU Xiaosa，ZHANG Yueling，LI Jianwen，PU Geguang，ZHANG Min

计算机工程与科学 . 2018, (06): 1067 -1074 .