journal.isu.ru

Начальная страница

Конечная страница

УДК

Раздел
     

Файл
Скачать Изменить файл

Название RU

Авторы RU

Аннотация RU
<p>В статье дан обзор результатов, полученных авторами в последние годы в области программирования с ограничениями(Constraint Programming) для языка ограничений линейного типа.</p>

Ключевые слова RU

Литература RU
1. Крывый С. Л. Критерий совместности систем линейных диофантовых уравненийнадмножествомнатуральныхчисел./С.Л. Крывый// Доклады НАНУ.—1999. —N5. —С.107 –112. 2. Крывый С.Л. О некоторых методах решения и критериях совместности системлинейных диофантовых уравнений в области натуральных чисел./ С.Л. Крывый// ж. Кибернетикаи системныйанализ. — 1999. —N4. —С.12 –36. 3. Крывый С.Л., Гжывач В., Хайдер Л. Алгоритм построения базиса множества решений СЛОДУ в множестве {0, 1}./ С.Л. Крывый, В. Гжывач, Л. Хайдер // Тезисы межд. конф. "Алгебра, логика, кибернетика". — Иркутск. — 2004 (август).— С. 167 –169. 4. Kryvyi S., Matveeva L., Grzywac W. Algorithms for Building of the Minimal SupportedSetofSolutionsofHSLDI overthesetof natural numbers./ S. Kryvyi,L. Matveeva, W. Grzywac // In Proc. Intern. Conf. "Concurent Systems and Programming". —Warszawa. —2005(september). —P.281 –290. 5. Крывый С. Л. Алгоритмы решения систем линейных диофантовых уравненийвцелочисленныхобластях./С. Л. Крывый// Кибернетикаи системный анализ. — 2006. —N2. —С.3 –17. 6. Крывый С. Л. Алгоритмы решения систем линейных диофантовы уравнений вполяхвычетов./ С. Л. Крывый// Тамже. —2007. —N2. —С.15 –23. 7. Крывый С. Л. Алгоритмы решения систем линейных диофантовы уравнений вкольцахвычетов./ С. Л. Крывый// Тамже. —2007. —N5. —С.36 –43. 8. ДонецГ.А.Решение задачио сейфена(0,1)-матрицах./ Г.А. Донец// Там же. —2002. —N1. —С.98 –105. 9. Черемушкин А. В. Лекции по арифметическим алгоритмам в криптографии. /А. В. Черемушкин// Москва:МЦНМО. —2002. —103 с. 10. BaaderF.,Ziekmann J.Unificationtheory/ F. Baader, J.Ziekman,// Handbook of Logic in Artificial Intelligence and Logic Programming. — Oxford University Press. — 1994. – -P. 1 – 85. 11. Allen R., Kennedy K. Automatic translation of FORTRAN program to vector form/ R.Allen, K. Kennedy// ACMTransactions onProgrammingLanguages and systems. — 1987. — v. 9, N4. — P. 491 – 542. 12. CreignouN.,KhannaS.,SudanM.ComplexityClassificationofBooleanConstraint SatisfactionProblems./N.Creignou,S. Khanna,M.Sudan.//SIAMMonographs on Discrete Mathematics and Applications: Society for Industrial and Applied Mathematics. Philadelphia. PA. — 2001. — v. 7. — 347 p. 13. Чугаенко А.В. О реализации TSS-алгоритма./ А. Чугаенко// ж.Управляющиесистемы и машины. — 2007. — N 3. — С. 27 – 33. 14 – 26.

Название EN

Авторы EN

Аннотация EN
<p>This paper contains the review of the results obtained in the last years in the solution area of systems of linear Diophantine constraints over discrete domains.</p>

Ключевые слова EN

Литература EN