首页> 外文OA文献 >A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions?

【2h】

A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions?

机译：字符串和正则表达式理论的DpLL（T）理论求解器？

页面导航

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

著录项

作者
Tianyi Liang; Andrew Reynolds; Cesare Tinelli; Clark Barrett; Morgan Deters;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A novel string field theory solving string theory by liberating left and right movers [J] . Holger B. Nielsen, Masao Ninomiya Journal of High Energy Physics . 2014,第05期

机译：一种新颖的弦场理论，它通过释放左右移动器来解决弦论
2. A novel string field theory solving string theory by liberating left and right movers [J] . Holger B. Nielsen, Masao Ninomiya The journal of high energy physics . 2014,第5期

机译：通过解放左右移动器来解决弦理论的新颖串现场理论
3. Quantum Query Complexity, Confining String In An Analytically Solvable 3D Model, Hagedorn Spectrum And Equation Of State Of Yang-Mills Theories, Equation Of State Of G(2) Gauge Theory, Donald Hoffman Uses Evolutionary Game Theory To Show That Our Percepti [J] . K.N.P. Kumar Advances in Physics Theories and Applications . 2013,第4期

机译：量子查询复杂性，可解析的3D模型中的约束字符串，Hagedorn谱和Yang-Mills理论的状态方程，G（2）量规的状态方程，唐纳德·霍夫曼（Donald Hoffman）使用进化博弈论来证明我们的感知力
4. A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions [C] . Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Computer aided verification . 2014

机译：字符串和正则表达式理论的DPLL（T）理论求解器
5. SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination [D] . Jovanovic, Dejan 2012

机译：超越DPLL（T）的SMT：理论求解器和理论组合的新方法
6. String Theory - The Physics of String-Bending and Other Electric Guitar Techniques [O] . David Robert Grimes -1

机译：弦理论-弦弯曲和其他电吉他技术的物理学
7. A novel string field theory solving string theory by liberating left and right movers [O] . Holger B. Nielsen, Masao Ninomiya 2014

机译：一种新颖的弦场理论，它通过释放左右移动器来解决弦论
8. Analytical expressions for the permeability of random two-dimensional Poisson fracture networks based on regular lattice percolation and equivalent media theories. [R] . K. Hestir J. Long 1990

机译：基于规则晶格渗流和等效介质理论的随机二维poisson裂缝网络渗透率的解析表达式。

A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions?

著录项

引文网络

相似文献

相关主题

期刊订阅