论文部分内容阅读
局部搜索技术在析取时序问题中的应用
【出 处】
:
大连海事大学
【发表日期】
:
2015年01期
其他文献