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.84
