答案集编程,计算复杂性,数据挖掘,DPLL(吨),函子,团块,Halpern-Shoham逻辑,高电感型,同伦型理论,区间逻辑,伊莎贝尔/HOL,线性有理算术,逻辑程序设计,元查询,关系数据库,稳定模型,次级传播片段,对称性破坏,理论求解器,单价,不可满足的堆芯.