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