-
OEIS
- 引用4285篇文章[sw07248]
- 以前有人发现过这个算法吗?你呢决定问OEI这个序列是否…第n项的显式公式。你呢决定不申请专利。。。
-
依斯
- 在157篇文章中引用[sw04436]
- Yices是一种高效的SMT解决方案决定含未解释的任意公式的可满足性。。。
-
莫代利卡
- 引用126篇文章[sw04352]
- Modelica工具将有足够的信息决定那是自动的。Modelica的设计是为了。。。
-
雅戈
- 引用54篇文章[sw11909]
- 逻辑上干净的模型可判定的,可扩展,并与RDFS兼容。最后,我们展示。。。
-
库贝
- 引用28篇文章[sw11381]
- QuBE:一个系统决定量化布尔公式可满足性。决定一个量化的…直接映射到问题的可满足性决定QBF的可满足性。在这篇文章中…介绍了QuBE,一个决定QBFs可满足性。我们在§2中的演示开始时。。。