2 หนังสืออิเล็กทรอนิกส์โดย Enrico Giunchiglia
Enrico Giunchiglia & Toby Walsh: SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range …
PDF
อังกฤษ
€149.79
Enrico Giunchiglia & Armando Tacchella: Theory and Applications of Satisfiability Testing
…
PDF
อังกฤษ
DRM
€56.59
