Решение задачи замощения с помощью SAT солвера на примере пентамино +16 19.11.2017 19:35 andy_p 20 Программирование Логические игры
Быстрее секунды: роботы продолжают улучшать время сборки кубика Рубика +8 17.02.2016 21:26 atomlib 31 Робототехника Логические игры
Робопретендент на рекорд решает кубик Рубика за 1,1 секунды +14 24.01.2016 17:06 atomlib 5 Робототехника Логические игры
