• 3TAP

  • 13篇参考文献[SW21544 ]
  • 基于表的定理证明器3TAP倍数-宝贵的 逻辑学
  • QMD

  • 7篇参考文献[SW12911]
  • 门和电路,二进制和倍数-宝贵的. QMD使用许多常用的决策图技术…可逆量子的紧致表示逻辑电路…
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • UCI ML

  • 2847篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • 耶斯

  • 133篇参考文献[SW044 36]
  • Yice是一个有效的SMT求解器,它决定了…
  • GLPK

  • 161篇参考文献[SW0460]
  • GLPK(GNU线性规划工具包)是…
  • Z3

  • 465篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • OACC

  • 6篇参考文献[SW1096]
  • 在线算法复杂性计算器。在线算法…
  • ACSS

  • 6篇参考文献[SW10997 ]
  • ACS:短字符串的算法复杂度。主要功能…