Balanced K-SAT and Biased random K-SAT on trees
SumedhaSupriya KrishnamurthySharmistha SahooPublished in: CoRR (2012)
Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- propositional satisfiability
- sat instances
- stochastic local search algorithms
- search algorithm
- sat solving
- phase transition
- high quality
- search strategies
- variable ordering
- stochastic local search
- randomly generated
- boolean satisfiability
- genetic algorithm
- decision trees
- graph coloring
- search problems
- temporal logic
- constraint satisfaction problems