Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Computer Science, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Theory and Applications of Satisfiability Testing – SAT 2017

More books from Springer International Publishing

bigCover of the book Information Security and Cryptology – ICISC 2017 by

bigCover of the book Pareto-Nash-Stackelberg Game and Control Theory by

bigCover of the book The Median Nerve by

bigCover of the book Innovation in Climate Change Adaptation by

bigCover of the book Next Generation Intelligent Environments by

bigCover of the book Team-Based Oncology Care: The Pivotal Role of Oncology Navigation by

bigCover of the book Product-Focused Software Process Improvement by

bigCover of the book A Brief History of Mechanical Engineering by

bigCover of the book The Palgrave Handbook of Relational Sociology by

bigCover of the book Management and Marketing of Wine Tourism Business by

bigCover of the book Ultrafast Nonlinear Optics by

bigCover of the book The Whole Truth About Whole Numbers by

bigCover of the book SmartParticipation by

bigCover of the book Control of Magnetotransport in Quantum Billiards by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy