An error diagnosis technique based on SAT solver
An error diagnosis technique based on SAT solver
复制标题
一种基于SAT求解器的错误诊断技术
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
T.Matsuyama
中科院分区：
文献类型：
--
作者：
K.Ootsu;T.Yokota;T.Baba;T.Matsuyama
登录
查看更多内容
基于可满足性的数字电路设计、调试和优化方法
DOI：
10.5075/epfl-thesis-8850
发表时间：
2018
期刊：
ArXiv
影响因子：
--
作者：
Andrew Becker
通讯作者：
Andrew Becker
基于阈值的分布式算法的有界模型检查的完整性：可达性
影响因子：
1
作者：
I. Konnov;H. Veith;Josef Widder
通讯作者：
Josef Widder
部分MUS枚举的新方法
DOI：
10.1007/978-3-319-24318-4_28
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Christian Zielke;M. Kaufmann
通讯作者：
M. Kaufmann
智能环境中基于 SAT 的家庭自动化效应实施
DOI：
10.1007/s12652-013-0183-x
发表时间：
2013
影响因子：
--
作者：
Fulvio Corno;Faisal Razzak
通讯作者：
Faisal Razzak
DOI：
10.1007/978-3-030-45190-5_8
发表时间：
2020-03-13
期刊：
Tools and Algorithms for the Construction and Analysis of Systems
影响因子：
--
作者：
Bendík J;Černá I
通讯作者：
Černá I