Login / Signup
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