Using constraint propagation and domain reduction for the generation phase in declarative modeling
Using constraint propagation and domain reduction for the generation phase in declarative modeling
复制标题
DOI：
10.1109/iv.2001.942047
复制
发表时间：
2001-07
期刊：
影响因子：
--
通讯作者：
O. Roux;V. Gaildrat;R. Caubet
中科院分区：
文献类型：
--
作者：
O. Roux;V. Gaildrat;R. Caubet
针对声明性建模的生成阶段，提出了一种基于约束传播和域缩减的面向对象约束求解器。该求解器通过泛型域支持泛型约束和异类参数。这确保了解决过程在复杂案件中的适应性和效率。作为应用，提出了一个用于三维环境规划的声明式系统。
This paper presents an oriented object constraint solver based on constraint propagation and domain reduction for the generation phase in declarative modeling. The solver supports generic constraints and heterogeneous parameters via generic domains. This ensures adaptability and efficiency of the resolution process in complex cases. As an application, a declarative system for 3D environment planning is presented.