【摘 要】
：
求解不可满足问题的极小不可满足子集(minimal unsatisfiable subset,MUS)是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模型求解MUS效率最高的方法,但此方
【机 构】
：
吉林大学软件学院,吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
国家自然科学基金项目(61872159,61672261,61502199)
论文部分内容阅读
求解不可满足问题的极小不可满足子集(minimal unsatisfiable subset,MUS)是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模型求解MUS效率最高的方法,但此方法未对求解空间进行进一步有效剪枝.针对MARCO-M方法的不足,结合可满足问题求解复杂度低于不可满足问题的特征,提出基于双模型即极大中间化模型的MARCO-MAM方法求解MUS.此方法对中间模型求解若得到极大可满足子集(maximal satisfiable subset,MSS),则利用可满足问题对应
其他文献
全过程工程咨询是涉及建设工程全生命周期内的策划咨询、前期可研、工程设计、招标代理、造价咨询、工程监理、施工前期准备、施工过程管理、竣工验收及运营保修等各个阶段的
介绍黑宝石李细菌性穿孔病害症状、发病原因及防治技术措施.
现阶段,智慧校园的建设力度越来越大,智慧化课堂的教育方式也逐渐被普及,并且其优势和特点也逐渐显现出来。在初中物理教学过程中,应用智慧化课堂的教育方式可以提升学生对物
本文分析了生态农业与农业可持续发展的关系,从生态农业的实践历程论证了生态农业是农业可持续发展的重要途径,提出了生态农业发展重点及方向.
随着位置社交网络（location-based social network,LBSN）的快速增长,兴趣点（point-ofinterest,POI）推荐已经成为一种帮助人们发现有趣位置的重要方式.现有的研究工作主要是利用用
对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入
介绍了家禽大肠杆菌病的特点,提出加强饲养管理、减少应激、使用敏感药物是防治大肠杆菌病的关健.