An alternate view of complexity in k-SAT problems.

Supriya Krishnamurthy Sumedha

Published in: CoRR (2014)

Keyphrases

sat problem
decision problems
satisfiability problem
np complete
constraint satisfaction problems
phase transition
sat instances
sat solvers
sat solving
information retrieval
genetic algorithm
evolutionary algorithm
randomly generated
max sat
stochastic local search
backtracking search