A Duality between Clause Width and Clause Density for SAT.

Chris Calabro Russell Impagliazzo Ramamohan Paturi

Published in: Computational Complexity Conference (2006)

Keyphrases

satisfiability testing
search space
cnf formula
linear programming
sat solvers
boolean formula
refinement operators
phase transition
clause learning
function free horn