回门集

SAT求解中的概念，指一组变量，当这些变量被赋值后，剩余公式可被多项式时间求解，用于刻画实例的易解核心。