位置：成果数据库 > 期刊 > 期刊详情页
Reducing symmetries to generate easier SAT instances
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：中国科学院软件研究所
  • 页码：Vol.125(3), pp.149-164
  • 语言：英文
  • 相关项目：计算机软件
作者： 张健、黄拙|
同期刊论文项目
计算机软件
期刊论文 16 会议论文 8
同项目期刊论文
Automated test case generation for the stress testing of multimedia systems
一种求解混合约束问题的快速完备算法
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems
程序静态分析技术与工具
基于基本路径的程序自动化测试
Generating SAT instances from first-order formulas
Solving Boolean combinations of nonlinear numerical constraints
Survey Propagation — 一种求解SAT的高效算法
多线程程序数据竞争的静态检测
基于约束的主动规则终止性分析
约束问题求解