Upper bounds on k-SAT Chris Calabro [email protected] What is k-SAT? Variables – x1, x2, x3, … Literals – x1, ¬x1, x2, ¬x2,… Clauses – (x1 or ¬x2 or x3),…
