Login / Signup
Algorithms for Satisfiability using Independent Sets of Variables.
Ravi Gummadi
N. S. Narayanaswamy
Venkatakrishnan Ramaswamy
Published in:
SAT (2004)
Keyphrases
</>
learning algorithm
times faster
combinatorial optimization
computational cost
computational complexity
np complete
machine learning algorithms
machine learning
feature selection
xml documents
np hard
computationally efficient
theoretical analysis