On minimal closure constraint generation for symbolic cell assembly

机译：关于符号单元格装配的最小闭合约束生成

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

来源
《Proceedings of the 28th conference on ACM/IEEE design automation》|1991年|P.736-739|共4页
会议地点 San Francisco CA(US)
作者
Debaprosad Dutt; Chi-Yuan Lo;
展开▼
作者单位

ATT Bell Laboratories, 1247 South Cedar Crest Blvd., Allentown, PA;

ATT Bell Laboratories, 600 Mountain Avenue, Murray Hill, NJ;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类机械设计;
关键词
入库时间 2022-08-26 14:30:28

相似文献

外文文献
中文文献
专利

1. Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults [J] . ARIJIT MONDAL, P. P. CHAKRABARTI, PALLAB DASGUPTA ACM Transactions on Design Automation of Electronic Systems . 2012,第4期

机译：鲁棒路径延迟故障的基于符号事件传播的最小测试集生成
2. Symbolic Matching and Constraint Generation for Systematic Comparison of Analog Circuits [J] . Ferent C., Doboli A. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2013,第4期

机译：用于模拟电路系统比较的符号匹配和约束生成
3. ATGen: automatic test data generation using constraint logic programming and symbolic execution [J] . Christophe Meudec Software Testing, Verification and Reliability . 2001,第2期

机译：ATGen：使用约束逻辑编程和符号执行自动生成测试数据
4. On minimal closure constraint generation for symbolic cell assembly [C] . Debaprosad Dutt, Chi-Yuan Lo . 1991

机译：关于符号单元格装配的最小闭合约束生成
5. Optimum Support Structure Generation for Additive Manufacturing using Unit Cell Structures and Support Removal Constraint. [D] . Vaidya, Rohan. 2017

机译：使用晶胞结构和支撑去除约束的增材制造最佳支撑结构生成。
6. Regulatory Constraints in the Generation and Differentiation of IgE-Expressing B Cells [O] . Zhiyong Yang, Marcus J Robinson, Christopher D C Allen -1

机译：IgE表达B细胞的生成和分化中的调节约束。
7. Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure [O] . Alfonso Gerevini, Ro Saetti 2013

机译：用metagraph闭包有效计算极小点代数约束

On minimal closure constraint generation for symbolic cell assembly

著录项

相似文献

相关主题

期刊订阅