命题可满足性相关论文
属性约简是数据挖掘中的一种粗糙集方法,它决定了能代表整个信息系统的重要属性的集合。本文提出了一种求最小约简的基于命题可满......
排课问题其本质就是时间表问题，属于典型的组合优化和不确定性调度问题，已经被证明为NP—Complete类问题。针对已有排课案例中大量知......
