A Clause-Based Reduction from k-SAT to CLIQUE.

Published in: FCS (2005)

Keyphrases

satisfiability testing
satisfiability problem
sat solvers
sat problem
search space
cnf formula
theorem prover
boolean formula
unit propagation
boolean variables
phase transition
horn clauses
max sat
clause learning
sat solving