9 февраля 2009 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Я одно время тесты пытался генерировать через планирование. Оттуда и познакомился с SatPlan, SAT-solvers и прочее и прочее. Места для компьютерной революции там и вправду заповедные, практически не паханные и ногой человека не ступанные.