几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. Theand运算符&是默认值,可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
准地图:1989年 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
摘要:约束逻辑程序设计(CLP)是一类新的声明式编程语言,其基本操作是基于约束(如约束求解和约束蕴涵).CLP语言自然地将约束传播与不确定性选择结合起来.因此,它们特别适用于解决各种组合搜索问题,使用全局搜索范式,开发时间短,效率可与基于相同方法的过程工具相媲美.
我们描述了CLP语言cc(FD),一个在有限域上使用一致性技术的芯片的继承者,如何被用来解决两个实际应用:测试模式生成和car排序.对于这两种应用,我们提出了cc(FD)程序,描述了如何执行约束求解,报告了实验结果,并将该方法与现有工具进行了比较.
[8] 程文涛,时序测试产生之反向算法(IEEE国际计算机设计会议论文集:计算机与处理器中的超大规模集成电路(ICCD88)).IEEE国际计算机设计会议论文集:计算机和处理器中的VLSI(ICCD88),纽约州瑞布鲁克市(1988)
[25] Fujiwara,H.,FAN:面向扇出的测试模式生成算法(IEEE电路与系统国际研讨会论文集,IEEE电路与系统国际研讨会论文集,日本京都(1985)),671-674
[41] Lioy,A.,自适应回溯和动态分区增强ATPG,(IEEE国际计算机设计会议论文集:计算机和处理器中的VLSI(ICCD88)).IEEE国际计算机设计会议论文集:计算机和处理器中的VLSI(ICCD88),纽约州瑞布鲁克市(1988)
[第五十二条] 罗萨莱斯,不列颠哥伦比亚省.;Goel,P.,商业ATG系统应用于大规模组合电路的结果,(IEEE国际电路与系统研讨会论文集,IEEE电路与系统国际研讨会论文集,日本京都(1985)),667-670
[70] 托玛,Y.;Goto,K.,用Prolog实现大规模组合电路的测试生成,(第6届国际逻辑编程会议论文集,第6届国际逻辑编程会议论文集,葡萄牙里斯本(1987))·Zbl 0648.94021
[74] 范亨特莱克,P.;Graf,T.,约束逻辑规划中有理线性算法的标准形式,(国际人工智能与数学研讨会论文集,国际人工智能与数学研讨会论文集,佛罗里达州劳德代尔堡(1990))·Zbl 1034.68508号
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.