基于双模型的MUS求解方法

DOI: 10.7544/issn1000-1239.2019.20180852

Keywords: [命题可满足问题, 极小不可满足子集, 极大可满足子集, 幂集探索, 双模型, propositional satisfiability problem(SAT), minimal unsatisfiable subset(MUS), maximal satisfiable subset(MSS), power set exploration, double model]

Full-Text   Cite this paper   Add to My Lib

Abstract:

求解不可满足问题的极小不可满足子集(minimal unsa..

Full-Text