Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm
Minghao YinPing HuangPublished in: CoRR (2011)
Keyphrases
- phase transition
- satisfiability problem
- randomly generated
- optimal solution
- random instances
- computational complexity
- dynamic programming
- exact solution
- np complete
- stochastic local search
- stochastic local search algorithms
- np hard
- combinatorial problems
- objective function
- random graphs
- temporal logic
- evolutionary algorithm
- hard problems
- davis putnam