位置:成果数据库 > 期刊 > 期刊详情页
Multistage optimization algorithm for MAX-SAT-encoded planning and circuit verification problems
  • ISSN号:1881-803X
  • 期刊名称:ICIC Express Letters
  • 时间:2013
  • 页码:819-824
  • 相关项目:基于极值优化理论的微网用户侧电力智能调配方法研究
同期刊论文项目
期刊论文 26 会议论文 5 专利 9 著作 1
同项目期刊论文