首页> 外文OA文献 >Efficient algorithms for constraint description problems over finite totally ordered domains: Extended abstract

【2h】

Efficient algorithms for constraint description problems over finite totally ordered domains: Extended abstract

机译：有限全序域上约束描述问题的高效算法：扩展摘要

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Gil Angel; Hermann Miki; Salzer Gernot; Zanuttini Bruno;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 限制数量约束的扩展模糊描述逻辑的推理复杂性 [J] . 陆建江, 李言辉, 张亚非, 东南大学学报（英文版） . 2007,第002期
2. EFFICIENT ALGORITHMS FOR DESCRIPTION PROBLEMS OVERFINITE TOTALLY ORDERED DOMAINS [J] . ANGEL J. GIL, MIKI HERMANN, GERNOT SALZER, SIAM Journal on Computing . 2009,第3期

机译：描述问题的有效算法超有限总阶域
3. A subdivision algorithm to reason on high-degree polynomial constraints over finite domains [J] . Bergenti Federico, Monica Stefania Annals of Mathematics and Artificial Intelligence . 2019,第4期

机译：关于有限域的高度多项式约束的算法的细分算法
4. Extending the enlarged cell and uniformly stable conformal techniques to modeling curved conductors in two-dimensional high-order finite-difference time-domain algorithms [J] . M. A. Kourah, M. F. Hadi, A. S. Al-Zayed International journal of numerical modelling . 2013,第3期

机译：在二维高阶有限差分时域算法中扩展扩大的单元格和一致稳定的共形技术以对弯曲导体建模
5. Efficient Algorithms for Constraint Descriptions Problems over Finite Totally Ordered Domains [C] . Angel J. Gil, Miki Hermann, Gernot Salzer, International Joint Conference on Automated Reasoning(IJCAR 2004); 20040704-20040708; Cork; GB . 2004

机译：有限全序域上约束描述问题的高效算法
6. Efficient Extended Finite Element Algorithms for Strongly and Weakly Discontinuous Entities with Complex Internal Geometries. [D] . Yuan, Rui. 2015

机译：具有复杂内部几何形状的强不连续实体的有效扩展有限元算法。
7. Efficient Controls for Finitely Convergent Sequential Algorithms [O] . Wei Chen, Gabor T. Herman -1

机译：对于有限次收敛的序列算法有效控制
8. Efficient algorithms for description problems over finite totally ordered domains [O] . Gil Angel, Hermann Miki, Salzer Gernot, 2008

机译：有限全序域上描述问题的高效算法
9. Comparison of the Performance of the Finite Difference Time-Domain, FiniteElement Time-Domain, and Planar Generalized Yee Algorithms on High-Performance Parallel Computers [R] . Gedney, S. D., Navsariwala, U. D. 1995

机译：高性能并行计算机上有限差分时域，有限元时域和平面广义Yee算法性能的比较

Efficient algorithms for constraint description problems over finite totally ordered domains: Extended abstract

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅