位置：成果数据库 > 期刊 > 期刊详情页
Local search for Boolean Satisfiability with configuration checking and subscore
  • ISSN号：0004-3702
  • 期刊名称：Artificial Intelligence
  • 时间：2013.11.11
  • 页码：75-98
  • 相关项目：基于智能体理论的Web服务系统的建模与形式化验证研究
作者： Shaowei Cai|Kaile Su|
同期刊论文项目
基于智能体理论的Web服务系统的建模与形式化验证研究
期刊论文 11 会议论文 3
同项目期刊论文
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
Verification of web service protocols by logic of knowledge
A complete first-order temporal BDI logic for forest multi-agent systems
面向结构的基于学习的规划方法
数据质量检测规则挖掘方法
A complete coalition logic of temporal knowledge for multi-agent systems
基于ATL的公平交换协议的形式化验证