sub-SAT 相关硕士博士期刊学术论文 - 信丰网

sub-SAT相关论文

一种改进的子集可满足性算法用于FPGA布线

介绍了用布尔可满足性（SAT）和子集可满足性（sub-SAT）算法解决FPGA的详细布线问题。在布线资源固定的FPGA布线环境中，布尔公式可以证明所......

期刊

布尔可满足性子集可满足性伪布尔可满足性 Boolean satisfiability sub-SAT pseudo-Boolean satisfiabil

看过本文同时还关注