An edition of Theory and Applications of Satisfiability Testing - SAT 2008
(2008)
Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
by Hans Kleine Büning and Xishun Zhao
Share
×Close
This work 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 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
2008, Springer London, Limited
in English
354079719X 9783540797197
|
aaaa
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| December 25, 2021 | Created by ImportBot | import new book |