【摘 要】
：
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalis
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
吉林省自然科学基金项目(20180101043JC).
论文部分内容阅读
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束表的空间消耗,同时提高广义弧相容(generalised arc consistent, GAC)算法的运行速度.短支持方法是在约束传播算法中使用最广泛的一种表压缩方式,但当约束表压缩率较低时,短支持方法提高运行速度效果不明显.因此提出一种压缩约束表的新算法STRO(simple tabular reduction optimization),结合短支持压
其他文献
设计了一种基于STM32和emWin的北斗卫星定位终端系统,该终端系统硬件上以低功耗处理器STM32F429IGT6为主控芯片,使用AT6558芯片用于获取"北斗二号"卫星信息,并使用LCD液晶屏
1 临床资料 1999-10／2002-02我们采用术前放疗治疗经病理证实为胃腺癌患者20例．入选条件按Kamofsky评分：〉70分，年龄〈70岁，肝肾功能正常，无放疗禁忌或其它明显器质性病变者．全部病
1临床资料 1989-01／2005-07经临床及病理证实的胰腺结核11（男5，女6）例，年龄21～47（平均28．3）岁．有食欲下降9例，腹痛7例，多为上腹部间歇性或持续性隐痛、胀痛，无加重及缓解方式；发热5例，多为间
目的：探讨缺血预处理对小肠细胞能量代谢和凋亡基因bcl-2，bax表达的影响及它们与肠细胞凋亡的内在联系．方法：健康SD大鼠36只，雌雄不限，随机分为3组，空白对照组（C组）、缺血预处理组（IPC-
目的：观察和分析脊髓损伤引起骨质疏松患者骨组织形态计量学（骨结构与骨转换）参数特征，进一步探明发生骨质疏松的机制．方法：选择脊髓损伤截瘫患者30（男19，女11）例；颈脊髓伤16例，胸脊髓损
1临床资料 2002-03／2006-05采用北京万特福科技公司提供的YL-1型穿刺针，行微创颅内血肿清除术治疗高血压脑出血50（男32，女18）例，年龄36～76（平均57）岁．其中有高血压病史30例，糖尿病史8例，