咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 interval-based a...
  • 1 篇 sat modulo theor...

机构

  • 1 篇 institute of com...
  • 1 篇 faculty of appli...
  • 1 篇 department of co...

作者

  • 1 篇 fränzle martin
  • 1 篇 schubert tobias
  • 1 篇 herde christian
  • 1 篇 teige tino
  • 1 篇 ratschan stefan

语言

  • 1 篇 英文
检索条件"主题词=interval-based arithmetic constraint solving"
1 条 记 录,以下是1-10 订阅
Efficient solving of Large Non-linear arithmetic constraint Systems with Complex Boolean Structure
收藏 引用
Journal on Satisfiability, Boolean Modeling and Computation 2007年 第3-4期1卷 209-236页
作者: Fränzle, Martin Herde, Christian Teige, Tino Ratschan, Stefan Schubert, Tobias Department of Computing Science Carl von Ossietzky Universität Oldenburg Germany. E-mails: Institute of Computer Science Academy of Sciences of the Czech Republic Prague Czech Republic. E-mail: Faculty of Applied Sciences Albert-Ludwigs-Universität Freiburg Germany. E-mail:
In order to facilitate automated reasoning about large Boolean combinations of non-linear arithmetic constraints involving transcendental functions, we provide a tight integration of recent SAT solving techniques with... 详细信息
来源: 评论