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, OlafWintersteiger, Christoph M
- Publisher
- Springer
- Language
- English
- Year
- 2018
- Page
- 452
- ISBN
- 978-3-319-94143-1,3319941437,978-3-319-94144-8
- File Type
- pdf
- File Size
- 7.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot