The original version of this story appeared in Quanta Magazine. For computer scientists, solving problems is a bit like mountaineering. First they must choose a problem to solve—akin to ...

This makes developing an algorithm to solve a group of these problems a daunting task. Bulatov, a mathematician by training and study, has been analyzing these types of problems for the past two ...