Математические основы информатики и программирования

Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам

И. В. Отпущенников, А. А. Семёнов

Лаборатория дискретного анализа и прикладной логики Института динамики систем и теории управления СО РАН, г. Иркутск

УДК: 519.7