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 edition 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 International Publishing AG
in English
3319409697 9783319409696
|
aaaa
|
|
2
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
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 5, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record |