A Monte Carlo Algorithm for the Satisfiability Problem.
Habiba DriasPublished in: IEA/AIE (Vol. 1) (1998)
Keyphrases
- monte carlo
- satisfiability problem
- markov chain
- monte carlo simulation
- computational complexity
- search space
- np complete
- objective function
- stochastic approximation
- importance sampling
- computational cost
- temporal logic
- np hard
- lower bound
- temporal difference
- stochastic local search
- learning algorithm
- matrix inversion
- simulated annealing
- upper bound
- optimal strategy
- search algorithm