%0 Journal Article
%T 基于双模型的MUS求解方法
%A 刘梦
%A 张立明
%A 田乃予
%A 高菡
%A 欧阳丹彤
%J -
%D 2019
%R 10.7544/issn1000-1239.2019.20180852
%X 求解不可满足问题的极小不可满足子集(minimal unsa..
%K [命题可满足问题
%K 极小不可满足子集
%K 极大可满足子集
%K 幂集探索
%K 双模型
%K propositional satisfiability problem(SAT)
%K minimal unsatisfiable subset(MUS)
%K maximal satisfiable subset(MSS)
%K power set exploration
%K double model]
%U http://crad.ict.ac.cn/CN/10.7544/issn1000-1239.2019.20180852