If solitaire games are included, then the popular sudoku puzzle qualifies. For example, after years of brute-force computer searches guided by structural analysis, it was discovered that a minimum of 17 starter cells was necessary to determine the complete 9$\times$9 matrix. This involved many researchers from 2005, culminating in the 2012 paper by McGuire et al..