Hiding solutions in random satisfiability problems: A statistical mechanics approach
Wolfgang BarthelAlexander K. HartmannMichele LeoneFederico Ricci-TersenghiMartin WeigtRiccardo ZecchinaPublished in: CoRR (2001)
Keyphrases
- satisfiability problem
- statistical mechanics
- stochastic local search algorithms
- np complete
- information theory
- phase transition
- search algorithm
- temporal logic
- search procedures
- graph coloring problems
- sat problem
- randomly generated
- free energy
- special case
- combinatorial problems
- stochastic local search
- sat instances
- finite domain
- feature selection
- search strategies
- random sat
- np hard
- mazurkiewicz traces