... looking for some algorithms that will train your logical reasoning, then ... puzzles/brainteasers would make for good mental exercise. Some ... that studying algorithms for practice and for mental exercise is ... problem, so even the best SAT algorithms would probably ...