LP1039 [NOIP2003] 侦探推理 [模拟/枚举/2-SAT]
UOJ317 [NOI2017] 游戏 [2-SAT]
2-SAT Notes
[HNOI2010] PLANAR
[JSOI2010] 满汉全席