位置：成果数据库 > 会议 > 会议详情页
基于集合理论的完备SAT求解器
  • 所属机构名称：电子科技大学
  • 会议名称：3rd International Conference on Information Computing and Applications, ICICA 2012
  • 成果类型：会议
  • 相关项目：基于广义符号轨迹赋值理论的模型检测
作者： 郭文生|杨国武|乐千桤|
同会议论文项目
基于广义符号轨迹赋值理论的模型检测
期刊论文 27 会议论文 8
同项目会议论文
没有辅助位的混合量子电路的综合
Synthesizing Hybrid Quantum Circuits without Ancilla Qudits
Synthesis of Ternary Non-Reversible Logic Circuits
基于分散搜索算法的可靠NOC映射
基于构件的MMU协处理器仿真模型
基于半张量积的布尔网络结构矩阵的改进计算策略
Synthesis of Ternary Non-Reversible Logic Circuits