位置：成果数据库 > 期刊 > 期刊详情页
基于局部搜索的完备SAT求解算法
  • ISSN号：1000-9000
  • 期刊名称：Journal of Computer Science and Technology
  • 时间：0
  • 页码：-
  • 相关项目：基于广义符号轨迹赋值理论的模型检测
作者： 郭文生|杨国武|William N.N. Hung|
同期刊论文项目
基于广义符号轨迹赋值理论的模型检测
期刊论文 27 会议论文 8
同项目期刊论文
可编程逻辑控制器的形式化建模与综合
多端图切割的改进参数算法
Wire congestion estimation in a bounded-bend model
Exact synthesis of three-qubit quantum circuits from non-binary quantum gates
基于S3C2410X的I~2C总线接口的软件仿真与验证
符号轨迹赋值中对称结构的自动化探索
NAND Flash仿真模块的一种验证方法
混杂前缀选择系统的形式化分析
一类半线性时变常微分方程解的分布
超图中发现最小的3路切割
AN ANALYTICAL CONGESTION MODEL WITH BOUNDED-BEND DETOURS
基于广义符号轨迹赋值模型验证的反例的产生
Mathematical analysis of stage-based programmable logic controller
SST39VF040 NorFlash芯片的软件仿真实现
基于贝叶斯网络的PLC系统的可靠性分析
生化应用里同步布尔网络中发现吸引子的高效算法
一类SAT Benchmark的算法研究
New strategies for reliability analysis of Programmable Logic Controllers
基于状态迁移模型的NAND闪存的软件仿真
Markov链使用模型的测试用例生成方法研究
基于GSTE的验证在UART模块中的应用研究
电路并发性质在GSTE中的研究和实现
Performance-driven assignment and mapping for reliable networks-on-chips
Complete Boolean Satisfiability Solving Algorithms Based on Local Search
期刊信息
  • 《计算机科学技术学报：英文版》
  • 中国科技核心期刊
  • 主管单位:
  • 主办单位:中国科学院计算机技术研究所
  • 主编：
  • 地址：北京2704信箱
  • 邮编：100080
  • 邮箱：jcst@ict.ac.cn
  • 电话：010-62610746 64017032
  • 国际标准刊号：ISSN：1000-9000
  • 国内统一刊号：ISSN：11-2296/TP
  • 邮发代号:2-578
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:505