2022 Developer Survey is open! Take survey.

# Tag Info

Consider the standard reduction from 3-coloring to SAT: for each vertex $v \in V$ we introduce three variables, $v_R,v_G,v_B$, add a clause $(v_R \vee v_G \vee v_B)$, and clauses \$(\lnot v_R \vee \...