SAT 2005: Satisfiability Research in the Year 2005 by Enrico Giunchiglia (Englis
164,93 €
By Enrico Giunchiglia, Toby Walsh. 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 of important problems including hardware and software verification.
Jetzt bei Ebay:
