Satisfiability Thresholds for k-CNF Formula with Bounded Variable Intersections

Karthekeyan Chandrasekaran Navin Goyal Bernhard Haeupler

Published in: CoRR (2010)

Keyphrases

cnf formula
np complete
boolean formula
max sat
sat problem
conjunctive normal form
knowledge compilation
propositional formulas
bounded treewidth
satisfiability problem
truth assignment
search algorithm
natural language processing