1 E-böcker av 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
Engelska
DRM
€57.84
