位置：成果数据库 > 会议 > 会议详情页
Comprehensive score: towards efficient local search for SAT with long clauses
  • 所属机构名称：电子科技大学
  • 会议名称：IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence (
  • 时间：2013.7.7
  • 成果类型：会议
  • 相关项目：基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究
作者： Shaowei Cai|Kaile Su|
同会议论文项目
基于多智能体系统高效动态模型检测的大规模安全协议动态验证研究
期刊论文 9 会议论文 3
同项目会议论文
Improving WalkSAT for Random k- Satisfiability Problem with k >3
Symbolic Model Checking the Knowledge in Herbivore Protocol