发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Maxterm Covering for Satisfiability

Maxterm Covering for Satisfiability

Liangze Yin; Fei He; Hung, W.N.N.; Xiaoyu Song; Ming Gu

作者Liangze Yin; Fei He; Hung, W.N.N.; Xiaoyu Song; Ming Gu
卷第61卷
期第3期
印刷ISSN0018-9340
文件大小561.90KB
发表时间2012
DOI10.1109/tc.2010.270
页码420-426

← 返回【学霸图书馆】主页