随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - 集成电路
集成电路设计
Verilog-->netlist-->形式化-->CNF-->求解器--> (drup_file -- Dimacs)UNSAT的core子句
文献学习--Partitioning Methods for Satisfiability Testing on Large Formulas
摘要：Partitioning Methods for Satisfiability Testing on Large Formulas Tai Joon Park and Allen Van GelderComputer Science Department, 237 BE, University of
阅读全文
