An edition of Theory and Applications of Satisfiability Testing SAT 2016
(2016)
Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
by Nadia Creignou and Daniel Le Berre
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Algebra, boolean, Computer algorithms, Decision making| Edition | Availability |
|---|---|
1
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
2016, Springer London, Limited
in English
3319409700 9783319409702
|
aaaa
|
|
2
Theory and Applications of Satisfiability Testing SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
2016, Springer International Publishing AG
in English
3319409697 9783319409696
|
zzzz
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| October 5, 2021 | Created by ImportBot | import new book |