Решение проблемы LinkedIn Queens с помощью SMT ( buttondown.com/hillelwayne )
Ха, около месяца назад я написал решатель DLX для задач с точными покрытиями, и LiQueens был одной из моих первых реализаций.
Далее я хочу попробовать решить игры Tango и Zip.
Source: news.ycombinator.com