Conte aos seus amigos sobre este item:
SAT 2005: Satisfiability Research in the Year 2005 Enrico Giunchiglia 2006 edition
SAT 2005: Satisfiability Research in the Year 2005
Enrico Giunchiglia
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 Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 3 de dezembro de 2014 |
| ISBN13 | 9789400787155 |
| Editoras | Springer |
| Páginas | 293 |
| Dimensões | 155 × 235 × 16 mm · 421 g |
| Editor | Giunchiglia, Enrico |
| Editor | Walsh, Toby |