دانلود کتاب Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
by Hans Kleine Büning, Xishun Zhao
|
عنوان فارسی: تئوری و کاربرد تست رضایتمندی - SAT 2008: 11th International Conference، SAT 2008، Guangzhou، China، May 12-15، 2008، Proceedings |