吉尔斯·佩森特 有限变量序列的正则语言成员约束。 （英语） Zbl 1152.68573号 Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258482-495（2004）。 摘要：本文描述了有限域变量的定长序列上的全局约束，要求这些变量的对应值序列属于给定的正则语言，从而推广了一些其他已知的全局约束。我们描述并分析了一种针对该约束实现广义弧一致性的滤波算法。并给出了一些比较实证结果。有关整个系列，请参见[Zbl 1139.68008号]. 引用于57文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{G.Pesant}，莱克特。票据计算。科学。3258、482--495（2004年；Zbl 1152.68573） 全文： 内政部