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

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

[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Solving satisfiability in combinational circuits with backtrack search and recursive learning

[IEEE Comput. Soc Proceedings. XII Symposium on Integrated Circuits and Systems Design - Natal, Brazil (29 Sept.-2 Oct. 1999)] Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) - Solving satisfiability in combinational circuits with backtrack search and recursive learning

Marques-Silva, J.P.; Guerra e Silva, L.

作者Marques-Silva, J.P.; Guerra e Silva, L.
文件大小31.89KB
发表时间1999
DOI10.1109/sbcci.1999.803118
页码192-195

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