Tell your friends about this item:
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings - Lecture Notes in Computer Science 1st ed. 2017 edition
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings - Lecture Notes in Computer Science
476 pages, 68 Illustrations, black and white; XIII, 476 p. 68 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 9, 2017 |
| ISBN13 | 9783319662626 |
| Publishers | Springer International Publishing AG |
| Pages | 476 |
| Dimensions | 150 × 220 × 10 mm · 7.37 kg |
| Language | German |
| Editor | Gaspers, Serge |
| Editor | Walsh, Toby |