![Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author:
Beyersdorff, Olaf. editor.
ISBN:
9783319941448
Edition:
1st ed. 2018.
Physical Description:
XIX, 452 p. 73 illus. online resource.
Series:
Theoretical Computer Science and General Issues ; 10929
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-94144-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 401714-1001 | ONLINE | Searching... | Searching... |