Using this technique brought the solving time down to a day, three times the speed of earlier models. This type of algorithmic problem solving isn't just for puzzles.