• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Symbolic and Numeric Algorithms for Scientific Computing >The CAD Conundrum: Lex-Least vs Order
【24h】

The CAD Conundrum: Lex-Least vs Order

机译：CAD Conundrum：Lex - 最少的vs订单

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper is part of our ongoing research and collaboration on understanding the relations between CAD algorithms, equational constraints and curtains. Our previous work manages to circumvent the curtain problem in the single equational constraint by taking advantage of the Lex-least valuation (even in the presence of curtains). That method however fails to take full advantage of multiple equational constraints. In this paper we provide further clarification of McCallum's work to validate the use of restricted projection operator at 2 levels. We also discuss the close relationship between order invariant and lex-least invariant CAD's.
机译：本文是我们正在进行的研究和合作的一部分，了解CAD算法，等级限制和窗帘之间的关系。我们以前的工作管理通过利用Lex最小估值（即使在窗帘的存在下）来规避单一实行限制中的幕布问题。然而，该方法未能充分利用多个实体约束。在本文中，我们进一步澄清了McCallum的工作，以验证在2个级别的限制投影算子的使用。我们还讨论了订单不变和Lex最不变的CAD之间的密切关系。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号