概念Backdoor Sets
回门集
SAT求解中的概念，指一组变量，当这些变量被赋值后，剩余公式可被多项式时间求解，用于刻画实例的易解核心。
时间轴 (近 90 天)
10月30日
回门集是SAT求解中的概念：存在一组变量，当被赋予特定值后，剩余公式可被多项式时间求解。
待验证50%
10月30日
LinguaArray将LLM作为回门集的提议器，但所有提议必须经求解器验证以确保健全性。
待验证50%
SAT求解中的概念，指一组变量，当这些变量被赋值后，剩余公式可被多项式时间求解，用于刻画实例的易解核心。
回门集是SAT求解中的概念：存在一组变量，当被赋予特定值后，剩余公式可被多项式时间求解。
LinguaArray将LLM作为回门集的提议器，但所有提议必须经求解器验证以确保健全性。