首页> 外文OA文献 >A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

【2h】

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

机译：具有整数数据类型的字符串操纵程序的路径可行性的决策过程

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Taolue Chen; Matthew Hague; Jinlong He; Denghang Hu; Anthony Widjaja Lin; Philipp Rümmer; Zhilin Wu;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A decision making procedure for robust train rescheduling based on mixed integer linear programming and Data Envelopment Analysis [J] . Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Applied Mathematical Modelling . 2017,第deca期

机译：基于混合整数线性规划和数据包络分析的鲁棒列车重调度决策程序
2. Data-Parallel String-Manipulating Programs [J] . Veanes Margus, Mytkowicz Todd, Molnar David, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015,第1期

机译：数据并行字符串处理程序
3. Reduced-Size Integer Linear Programming Models for String Selection Problems: Application to the Farthest String Problem [J] . Zoernig Peter Journal of computational biology: A journal of computational molecular cell biology . 2015,第8期

机译：用于字符串选择问题的尺寸减小的整数线性规划模型：应用于最远的字符串问题
4. A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type [C] . Taolue Chen, Matthew Hague, Jinlong He, International Symposium on Automated Technology for Verification and Analysis . 2020

机译：具有整数数据类型的字符串操纵程序的路径可行性的决策过程
5. An integer programming approach for protein NMR string assignment [D] . Wu, Junfeng 2007

机译：蛋白质NMR字符串分配的整数编程方法
6. An Integer Programming Formulation of the Minimum Common String Partition Problem [O] . S. M. Ferdous, M. Sohel Rahman -1

机译：最小公共字符串分配问题的整数编程公式
7. Decision procedures for path feasibility of string-manipulating programs with complex operations [O] . Taolue Chen, Matthew Hague, Anthony W. Lin, 2019

机译：具有复杂操作的字符串操纵程序的路径可行性的决策程序
8. Interior Path Methods for Heuristic Integer Programming Procedures. [R] . faaland,bruce h. hillier,frederick s. 1977

机译：启发式整数规划程序的内部路径方法。

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

著录项

引文网络

相似文献

相关主题

期刊订阅