An edition of Theory and Applications of Satisfiability Testing -- SAT 2015
(2015)
Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
by Marijn Heule and Sean Weaver
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
2015, Springer London, Limited
in English
3319243187 9783319243184
|
zzzz
|
|
2
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
2015, Springer International Publishing AG
in English
3319243179 9783319243177
|
aaaa
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| December 29, 2021 | Created by ImportBot | import new book |