€ 62,49
Theory and Applications of Satisfiability Testing – SAT 2016 — 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. An English-language digital edition by Nadia Creignou (Editor); Daniel Le Berre (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 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in…
Catalogue preview, eBooks.com
| Author | Nadia Creignou (Editor); Daniel Le Berre (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319409696, 9783319409702 |
| Format | |
| Publication date | June 10, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.