Login / Signup
SAT-Varible Complexity of Hard Combinatorial Problems.
Kazuo Iwama
Shuichi Miyazaki
Published in:
IFIP Congress (1) (1994)
Keyphrases
</>
data sets
computational complexity
satisfiability problem
computational cost
genetic algorithm
search algorithm
lower bound
evolutionary algorithm
worst case
heuristic search
decision problems
space complexity