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