2021年度由对称性解2-SAT问题讲义

- 2-SAT: - 2-SAT就是2判定性问题，是一种特殊的逻辑判定问题。2-SAT问题有何特殊性？该如何求解？我们从一道例题来认识2-SAT问题，并提出对一类2-SAT问题通