Conte aos seus amigos sobre este item:
SAT 2005: Satisfiability Research in the Year 2005 E Glunchiglia 2006 edition
SAT 2005: Satisfiability Research in the Year 2005
E Glunchiglia
This book covers recent progress 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.
293 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de outubro de 2006 |
| ISBN13 | 9781402045523 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 293 |
| Dimensões | 155 × 235 × 17 mm · 612 g |
| Idioma | Inglês |
| Editor | Giunchiglia, Enrico |
| Editor | Walsh, Toby |