• 别名

  • 引用2篇文章[sw25466]
  • ALIAS:一个用于查找后门对于SAT,我们提供{sc ALIAS},一个模块化的。。。旨在发现后门对于硬测试实例。在这里后门... 原始配方。为了某个特定的后门该工具使用蒙特卡罗算法来估计。。。当通过said划分原始问题时后门. 因此,找到一个后门...
  • 展开图

  • 引用2篇文章[sw23936]
  • 包括键盘记录,密码窃贼,网络嗅探器,隐身后门,间谍软件和rootkits),它将这些恶意的。。。
  • 在0篇文章中引用[sw15749]
  • 发现国家安全局后门的双BGEC。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 圣哲

  • 在1507篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 卫星库

  • 引用57篇文章[sw02107]
  • SATLIB是一个基准问题的集合,求解器。。。
  • 古洛比

  • 引用了457篇文章[sw04105]
  • 古洛比优化器:最先进的数学规划。。。
  • C模型

  • 引用66篇文章[sw04435]
  • Cmodels是一个计算答案集的系统。。。
  • 参考文献561篇[sw06916]
  • Chaff:设计一个高效的SAT解算器。布尔可满足性。。。
  • 伯克明

  • 引用158篇文章[sw06917]
  • BerkMin:一个快速而健壮的SAT解算器。我们。。。
  • 钾肥

  • 引用66篇文章[sw06996]
  • Potasco:波茨坦答案集解决方案集。这个。。。