位置：成果数据库 > 会议 > 会议详情页
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses
  • 所属机构名称：暨南大学
  • 会议名称：IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beiji
  • 时间：2013.8.8
  • 成果类型：会议
  • 相关项目：基于智能体理论的Web服务系统的建模与形式化验证研究
作者： Shaowei Cai|Kaile Su|
同会议论文项目
基于智能体理论的Web服务系统的建模与形式化验证研究
期刊论文 11 会议论文 3
同项目会议论文
A succinct and efficient implementation of a 232 BDD package
UAP: A new UDP-based application level transport protocol