Algorithms for Satisfiability Using Independent Sets of Variables.

Ravi Gummadi N. S. Narayanaswamy Venkatakrishnan Ramaswamy

Published in: SAT (Selected Papers (2004)

Keyphrases

learning algorithm
significant improvement
computational cost
theoretical analysis
computational complexity
np complete
computationally efficient
data mining
data structure
machine learning algorithms
combinatorial optimization
satisfiability problem
propositional satisfiability