Генерация кроссвордов с помощью SAT солвера +10 06.12.2017 18:13 andy_p 2 Программирование Логические игры
Решение задачи замощения с помощью SAT солвера на примере пентамино +16 19.11.2017 19:35 andy_p 20 Программирование Логические игры
Почти оптимальное решение трёхмерных 4x4x4 крестиков-ноликов +18 26.10.2017 13:51 andy_p 16 Игры Софт Linux
