€ 78,74
Theory and Applications of Satisfiability Testing — SAT 2015 — 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. An English-language digital edition by Marijn Heule (Editor); Sean Weaver (Editor), available in PDF.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in…
Catalogue preview, eBooks.com
| Author | Marijn Heule (Editor); Sean Weaver (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319243177, 9783319243184 |
| Format | |
| Publication date | September 17, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.