变元与子句间的多元关系模型

推理搜索论文-程旭
导读:本文包含了推理搜索论文开题报告文献综述及选题提纲参考文献，主要关键词:SAT问题,局部搜索算法,变元与子句间的多元关系模型,统计学习推理搜索论文文献综述程旭[1]（201...