什么是SAT问题 所谓SAT问题就是可实现性问题(Erfuellbarkeitsproblem)。即已知一个Formel F ∈For0 \in For0，问是否存在一个解释(Interpretation) I 使得 valI(F)=T val_I (F)=T 同时SAT问题也是一个NP完备性问题。也就是说假如存在一个确定的在多项式时间内完成的用于判定一个Formel是否可实现的的算法，那么同