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 Beneficial Ownership by

bigCover of the book Operations Research Proceedings 2016 by

bigCover of the book Discrete and Computational Geometry and Graphs by

bigCover of the book Robustness Analysis in Decision Aiding, Optimization, and Analytics by

bigCover of the book Dynamics of Adsorptive Systems for Heat Transformation by

bigCover of the book Intelligent Systems Design and Applications by

bigCover of the book Scientific Scholarly Communication by

bigCover of the book Vehicular Cyber Physical Systems by

bigCover of the book Vortices and Nanostructured Superconductors by

bigCover of the book A Guide to Gastrointestinal Motility Disorders by

bigCover of the book Bacteriophage Applications - Historical Perspective and Future Potential by

bigCover of the book Flow Boiling in Expanding Microchannels by

bigCover of the book Biology and Subjectivity by

bigCover of the book Evolution of Karst in the Lower Part of Crna Reka River Basin by

bigCover of the book Haptics: Science, Technology, and Applications 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