Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas.

Byungki Cha Kazuo Iwama

Published in: IJCAI (1995)

Keyphrases

search algorithm
cnf formula
neural network
np complete
artificial intelligence
lower bound
satisfiability problem
evolutionary algorithm
search methods
search strategy
stable set