• 卡尔马

  • 101篇参考文献[SW03265]
  • 参与者开发优化算法基于分支和切割约束满意和近似技术…
  • 再摊铺机

  • 50篇参考文献[SW04401]
  • 算法852 RealPaver:非线性约束求解和严格全局优化。问题:RealPaver允许建模和求解…非线性与非凸约束满意以及实际问题的最优化问题。决策变量…
  • 数字的

  • 46篇参考文献[SW21227 ]
  • 教科书和科学论文。约束求解算法数字是基于一个组合…区间与局部方法及约束满意该技术的全面介绍描述了它的设计…
  • 外旋

  • 40篇参考文献[SW08660]
  • 也可用于获得改进的近似值算法最简单、最自然的APX完全约束满意问题(参见,例如[Al97)]。有各种各样的…利用半定规划求逼近算法
  • 废话

  • 62篇参考文献[ SW0727 8]
  • 马利克:“对冲突的对称处理”满意在量化布尔可满足性求解器中,程序…文件代码是实验性的算法只评价。它应该编译在大多数…
  • 产量

  • 4篇参考文献[ SW31658]
  • 差异搜索(收益率),一个完整的算法求解约束满意问题。如所示…实验验证,与几种解决方案的比较算法深度有界差异搜索,向前检查…
  • 链状卫星

  • 6篇参考文献[SW0944]
  • 随机约束满意问题。我们研究了随机局部搜索的性能。算法为了随机…
  • BL数据集

  • 25篇参考文献[SW08330]
  • 项目调度问题。近年来,制约因素满意技术已成功应用于“析取”。“累计”调度的面积。多重约束传播算法已开发的累积资源…
  • BACP

  • 6篇参考文献[SW034 72]
  • 遗传杂交算法BACP约束的约束传播满意问题(CSP)提供…纸张,我们扩展了我们的遗传框架算法(GA)审稿人的建议…
  • 阳光充足

  • 11篇参考文献[SW31800 ]
  • 当前阳光:简单灵活算法这充分利用了一个约束组合。它们用于求解给定的约束满意问题(CSP)。由业绩达到的动机…利用潜在阳光的投资组合求解器算法为了解决给定的…
  • 坚果

  • 2篇参考文献[SW29 714]
  • 功能约束网络约束满意使用问题解决算法自动程序综合描述…
  • 帕穆克

  • 8篇参考文献[SW02537 ]
  • 进化论算法. 基于进化的多目标优化算法(EA)已成为一个广泛的研究领域。已经提出了PAMUC,认为满意作为另一个目标的约束…
  • 6篇参考文献[ SW21349 ]
  • 代数从给定的等式公理。摘要算法以及一些实现细节…有限模型被看作一个约束满意问题,用公理的地面实例…
  • 普鲁马卡

  • 1篇参考文献[SW1858]
  • 承诺协议,即合规性和目标性满意. 我们使用概率变体形式化这些属性…概率模型检测算法自动分析合规性和目标满意性能最后,我们提出…
  • 博士放松

  • 1篇参考文献[SW27 93]
  • 系统可以被描述为分布式约束。满意问题(DCSPs),目标在哪里…一个新的Max松弛算法求解分布式Maximal Constraint满意问题(DMCSP)…
  • ZDC

  • 1篇参考文献[SW10499 ]
  • 约束满意. ZDC配备了一组约束算法,包括扩展制导局部…轮询演示应用约束的可行性满意解决问题的技术,没有…
  • 国际合作社

  • 2篇参考文献[SW041]
  • 提供不完整的图书馆算法用于优化组合问题。这个图书馆提供本地搜索…已经编码了几个问题,包括约束。满意问题,图着色,频率分配。图书馆用户可以轻松添加新的内容。算法并对新问题进行编码。邻里管理…
  • 阳光CP

  • 4篇参考文献[SW31 181]
  • 范式允许建模和求解约束满意优化问题(CSPS/COPS)。CP组合…合理开发解决问题算法选择技术。在这项工作中,我们提出…
  • HMC

  • 6篇参考文献[SW09867 ]
  • 现在的Hindley Milner Cousots(HMC)算法这减少了类型化安全性能的验证。逻辑细化约束满意意味着源程序的安全性。接下来,它转换…
  • 重新规划

  • 9篇参考文献[SW01619]
  • 选择和使用相同的资源分配算法. 目前的工作表明,上述…离散资源表示为约束。满意问题(CSP)问题和规划师…