• 萨特4J

  • 引用75篇文章[sw07283]
  • 布尔型满意度和优化问题。它可以解决SAT,MAXSAT,-布尔型,最小不可满足子集。。。
  • 图尔巴尔2

  • 参考22篇文章[sw07289]
  • Toulbar2是一个完全离散的优化c++开源软件,用于图形模型,如。。。满意度问题,加权最大SAT,二次型-布尔型 优化,以及贝叶斯网络。。。
  • RPOLY公司

  • 在10篇文章中引用[sw05301]
  • 单倍型推断-布尔型 优化. 近年来测序技术发展迅速。。。介绍基于SAT的方法,包括-布尔型 优化(PBO)方法,产生了非常有效的。。。
  • OPBDP公司

  • 引用13篇文章[sw05036]
  • 基于Putnam的线性伪随机枚举算法-布尔型 优化,0-1变量,目标和约束多项式。。。基于Putnam的线性枚举算法-布尔型 优化...
  • 打包

  • 引用4篇文章[sw10046]
  • 本文介绍了PackUp(PackUp)的可升级性布尔型公式)一个解决。。。解算器:加权partia MaxSAT解算器和优化 -布尔型(OPB)解算器。文章讨论了。。。
  • 普韦布洛

  • 引用了29篇文章[sw00743]
  • 有效积分的混合方法-布尔型(PB)通用SAT解算器的约束条件。。。解决PB可满足性和优化问题。为此,我们采用切割平面技术。。。
  • 格拉莫丰

  • 引用3篇文章[sw34237]
  • 把我们的问题表示成线性的-布尔型 优化问题(LPB),即线性问题。。。
  • 希萨特

  • 引用24篇文章[sw01980]
  • 基于DPLL的紧密集成-布尔型SAT解算器和线性规划程序。。。工具利用各种优化在有界模型检查上下文中自然出现的。。。
  • 最小最大卫星

  • 在34篇文章中引用【sw09732】
  • 以及-布尔型目标函数和约束。它的主要特点是:学习和回跳。。。广泛的经验评价优化基准测试表明它的性能通常是。。。
  • 汽蚀剂

  • 1条引用[sw13580]
  • 基于解算器的优化问题。这个-布尔型(PB)求解器npSolver将PB编码为。。。
  • PBLib公司

  • 参考6篇文章[sw13578]
  • 库,用C++编写,用于翻译-布尔型(PB)约束到CNF。我们已经实施了。。。翻译。我们还支持逐步加强优化问题,在更紧的界限被实现的地方。。。
  • 鸦片

  • 引用4篇文章[sw08000]
  • 鸦片:最优的软件包安装/卸载管理器。Linux发行版通常包括包管理工具,例如。。。使用现成的SAT解算器,-布尔型解算器,整数线性规划解算器。。。找到它,鸦片就可以了优化用户提供的目标函数,可以。。。
  • LP2正常

  • 引用3篇文章[sw25505]
  • 规则和权重规则,并重写优化使用类似技术的陈述。产生的逻辑。。。直接支持基数约束或-布尔型约束。。。
  • 超小卫星

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

  • 引用了30篇文章[sw01247]
  • 合金:一种新的软件建模技术。合金。。。