网站首页
编程语言
数据库
系统相关
其他分享
编程问答
UIP
2024-07-09
强冲突分析-学习
文献1介绍了基本概念、蕴含图、冲突分析并提到了强冲突分析,文献2重点讲解了强突分析。1.文献1:MakingDeductionMoreEffectiveinSATSolvers Whenthe1-UIPisfarfromtheconflictintheimplicationgraph,theconflictclausemaynotbeeffectivein