位置：成果数据库 > 会议 > 会议详情页
A succinct and efficient implementation of a 232 BDD package
  • 所属机构名称：暨南大学
  • 会议名称：IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：基于智能体理论的Web服务系统的建模与形式化验证研究
作者： Lv, Guanfeng1|Chen, Yao1|Feng, Yachao1|Chen, Qingliang2|Su, Kaile3|
同会议论文项目
基于智能体理论的Web服务系统的建模与形式化验证研究
期刊论文 11 会议论文 3
同项目会议论文
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
UAP: A new UDP-based application level transport protocol