1 电子书 Fahiem Bacchus
Fahiem Bacchus & Toby Walsh: Theory and Applications of Satisfiability Testing
The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic …
PDF
英语
DRM
€57.78
