Solution space heterogeneity of the random $K$-satisfiability problem: Theory and simulations
Haijun ZhouPublished in: CoRR (2010)
Keyphrases
- solution space
- satisfiability problem
- simulated annealing
- np complete
- search algorithm
- search space
- phase transition
- temporal logic
- optimal solution
- metaheuristic
- sat problem
- presburger arithmetic
- feasible solution
- exhaustive search
- stochastic local search algorithms
- randomly generated
- max sat
- mazurkiewicz traces
- state space
- np hard
- stochastic local search
- pspace complete
- random sat