位置：成果数据库 > 期刊 > 期刊详情页
Synthesizing Complementary Circuits Automatically
  • ISSN号：0278-0070
  • 期刊名称：IEEE Transactions on Computer-Aided Design of Inte
  • 时间：0
  • 页码：1191-1202
  • 语言：英文
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Wang, KeFei|Li, SiKun|Zhang, JianMin|Shen, ShengYu|Qin, Ying|Xiao, LiQuan|
同期刊论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目期刊论文
A breadth-first-search algorithm for deriving minimal unsatisfiable subformulae in satisfiability mo
Algorithms for deriving minimum unsatisfiable Boolean subformulae
可满足性求解技术研究
一种求解不可满足子式的局部搜索算法
Tracking unsatisfiable subformulas from reduced refutation proof
Research advances in methods of extracting boolean unsatisfiable subformulae
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION
布尔不可满足子式的求解方法研究进展
求解极小SMT不可满足子式的宽度优先搜索算法
基于否证蕴含的极小一阶不可满足子式求解算法
最小布尔不可满足子式的求解算法
AN ANT COLONY ALGORITHM FOR MINIMUM UNSATISFIABLE CORE EXTRACTION