A Minesweeper Solver Using Logic Inference, CSP and Sampling.
Yimin TangTian JiangYanpeng HuPublished in: CoRR (2018)
Keyphrases
- constraint satisfaction problems
- logical inference
- abductive reasoning
- gibbs sampler
- random sampling
- deductive reasoning
- markov chain monte carlo
- constraint solving
- monte carlo
- inference mechanism
- constraint solver
- metropolis hastings
- tree decomposition
- logic programming
- arc consistency
- modal logic
- probabilistic inference
- automated reasoning
- sampling algorithm
- bayesian networks
- decomposition methods
- inference process
- probabilistic reasoning
- random fields
- constraint satisfaction
- tree decompositions
- clause learning
- constraint propagation
- bayesian inference
- np hard
- search algorithm
- optimal solution