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)

Keywords

• constraint programming
• IMS
• solver.