BriefGPT.xyz
Mar, 2009
SLIDE: CARDPATH约束的有用特殊情况
SLIDE: A Useful Special Case of the CARDPATH Constraint
HTML
PDF
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
TL;DR
研究 CardPath 约束条件,在变量序列中多次满足约束条件的情况下,SLIDE 可用于编码包括 CardPath 的广泛滑动序列约束条件,并讨论了如何传播 SLIDE 并提供了 CardPath 的完整传播器。
Abstract
We study the
cardpath constraint
. This ensures a given constraint holds a number of times down a sequence of variables. We show that
slide
, a special case of CardPath where the slid constraint must hold always, c
→