摘要： 冲突发生时刻BCP蕴含关系图镜像给出很多信息。已经形成的功能和策略实施办法： （1） 冲突分析得到学习子句； （2） 参与冲突推导的变元活跃度的提升； 从最新的求解器代码分析，可以获取以下信息： （1）参与冲突的各层变元、各层参与此次冲突的变元个数； lichuming老师团队2018年关于DIST 阅读全文