Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
We couldn't estimate the reading time for this book.
Author
Publication
2015 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783319243177
- ISBN-103319243179
- Better World Books9783319243177
- Open LibraryOL36216540M
Classifications
- LCCQA75.5-76.95
Subjects
Other Editions
- Theory and Applications of Satisfiability Testing -- SAT 2015
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!