极小不可满足子集论文

基于双模型的MUS求解方法
论文摘要求解不可满足问题的极小不可满足子集（minimalunsatisfiablesubset,MUS）是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模...