5 ms·
I wrote a Minesweeper solver a while ago, it uses backtracking search with decent results: https://luckytoilet.wordpress.com/2012/12/23/2125/ https://luckytoile
by luckyt 10y ago
I wrote a Minesweeper solver a while ago, it uses backtracking search with decent results: https://luckytoilet.wordpress.com/2012/12/23/2125/ https://luckytoilet.wordpress.com/2012/12/23/2125/
Now I wonder how does the performance of this SAT solver compare to backtracking? Which one deals better with situations where guessing is required?
- amluto 10y agoIn Stanford CS221, one of the assignments was to write a Minesweeper solver using backtracking and various propagation techniques. It was exact and ran fairly quickly. Once you've enumerated all possible solutions, you can throw heuristics at guessing.