PROPAGATION-BASED CONSTRAINT SOLVER IN IMS

Abstract

Article compiling the main ideas of creating propagation-based constraint solver, theoretical basis of constraint programming and its implementation in IMS (Insertion Modeling System). У статті розглядаються основні ідеї створення констрейнтного розв’язувача заснованого на пропагаторах, теоретичні відомості констрейнтного програмування та його реалізацію в IMS

Description

Blynov, I. PROPAGATION-BASED CONSTRAINT SOLVER IN IMS / І. Blynov // Informational Technologies in Education. - 2012. - № 11. - P. 78-82.

Keywords

IMS, constraint programming, solver, IMS, констрейнтне програмування, констрейнтний розв’язувач

Citation

Endorsement

Review

Supplemented By

Referenced By