位置:成果数据库 > 会议 > 会议详情页
一种加速可满足性问题求解的启发式重启策略
  • 所属机构名称:东北大学
  • 会议名称:The Fifth International Symposium on Computational Intelligence and Design (ISCID)
  • 时间:2012.11.12
  • 成果类型:会议
  • 相关项目:服务组合动态自适应服务选取问题的混合约束求解方法研究
同会议论文项目
同项目会议论文