Для цитирования: Ахин М.Х., Колтон С.Л., Ицыксон В.М. Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей. Моделирование и анализ информационных систем. 2014;21(6):7-17. https://doi.org/10.18255/1818-1015-2014-6-7-17

For citation: Akhin M., Kolton S., Itsykson V. Random Model Sampling: Making Craig Interpolation Work When It Should Not. Modeling and Analysis of Information Systems. 2014;21(6):7-17. (In Russ.) https://doi.org/10.18255/1818-1015-2014-6-7-17