Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms.

Published in: SIAM J. Comput. (1991)

Keyphrases

average case
worst case
worst case analysis
computational complexity
learning curves
uniform distribution
learning algorithm
satisfiability problem
online algorithms
state space
machine learning algorithms
learning tasks