Average Performance of Heuristics for Satisfiability.

Rajeev Kohli Ramesh Krishnamurti

Published in: SIAM J. Discret. Math. (1989)

Keyphrases

standard deviation
satisfiability problem
np complete
search algorithm
data sets
computational complexity
heuristic search
exact algorithms
information systems
search space
search methods
satisfiability testing