Satisfiablility and Clique
(x
1
V ¯x¯
2
V x
4
)
(x
2
V ¯x¯
3
V ¯x¯
4
)
(¯x¯
2
V x
4
V ¯x¯
5
)
Construct an instance of CDP
Why does this work?
Trick: Understand your problem.
(x2 V ¯x¯3 V ¯x¯4)
(¯x¯2 V x4 V ¯x¯5)