Solving set-valued constraint satisfaction problems

Luc Jaulin

doi:10.1007/s00607-011-0169-5

第三条Dans Une Revue 计算 Anneée:2012年

求解集值约束满足问题

(1, 2)

1
2

卢克·杰林

功能：奥特尔
人员ID:746338
伊达尔：卢克·加林
ORCID代码：0000-0002-0938-0615
ID参考号：085766569

实验室-STICC_ENSTAB_CID_IHSEV

波勒STIC_OSM

Résumé

在本文中，我们考虑了在问题的变量是Rn的子集的情况下约束满足问题的解。为了使用约束传播方法，我们引入了集合区间（称为i-set），它是Rn的子集的集合，具有关于包含的下界和上界。然后，我们提出了i-集的基本运算。这使得构建承包商成为可能，然后传播使用这些承包商来解决涉及集合作为未知变量的问题。为了说明该方法的原理和效率，提供了一个测试用例。

Mots clés公司

设置间隔约束传播约束满足承包商区间分析设置间隔。

与葡萄园

自动化/机器人

菲奇尔校长

paper_computing2011.pdf（551.58 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）

Annick Billon大衣 : Connectez-vous浇注接触器le contributer

https://ensta-bretagne.hal.science/hal-00686856

Soumis le:mercredi 11 avril 2012年-14:06:41

Dernière修改le:vendredi 24 mars 2023-14:52:55

长期档案：朱迪12 juillet 2012-09:58:42

日期和版本

hal-00686856，版本1 (11-04-2012)

身份证明人

HAL Id： hal-00686856，版本1
内政部： 2007年10月7日/00607-011-0169-5

Citer公司

卢克·杰林（Luc Jaulin）。求解集值约束满足问题。计算2012年，94（2），第297-311页。⟨10.1007/s00607-011-0169-5⟩.⟨hal-00686856⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

UNIV-BREST公司电信研究所 ENSTA-BRETAGNE公司中国科学院爱沙尼亚语埃尼布 STICC_ENIB实验室 STICC实验室 TDS-MACS系统

153 磋商

361 交易费用