Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях
В статье дан обзор результатов, полученных авторами в последние годы в области программирования с ограничениями (Constraint Programming) для языка ограничений линейного типа.