文献1介绍了基本概念、蕴含图、冲突分析并提到了强冲突分析，文献2重点讲解了强突分析。1.文献1：MakingDeductionMoreEffectiveinSATSolvers   Whenthe1-UIPisfarfromtheconflictintheimplicationgraph,theconflictclausemaynotbeeffectivein