An edition of Theory and Applications of Satisfiability Testing - SAT 2011
(2011)
Theory and Applications of Satisfiability Testing - SAT 2011
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
by Karem A. Sakallah
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic design, Computer science, Artificial intelligence, Computer software, Computer algorithms, Propositional calculus, Congresses, Verification, Decision making, Calculus, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
2011, Springer-Verlag GmbH Berlin Heidelberg
electronic resource :
in English
3642215807 9783642215803
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created July 28, 2014
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 15, 2024 | Edited by MARC Bot | import existing book |
| December 25, 2021 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| October 17, 2020 | Edited by MARC Bot | import existing book |
| July 28, 2014 | Created by ImportBot | Imported from Internet Archive item record |