Генерация кроссвордов с помощью SAT солвера +10 06.12.2017 18:13 andy_p 2 Программирование Логические игры
Решение задачи замощения с помощью SAT солвера на примере пентамино +16 19.11.2017 19:35 andy_p 20 Программирование Логические игры
