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 Foundations of Intelligent Systems by

bigCover of the book Wireless Sensors in Heterogeneous Networked Systems by

bigCover of the book Hadronic Transport Coefficients from Effective Field Theories by

bigCover of the book Learning and Knowledge Analytics in Open Education by

bigCover of the book Information Security and Cryptology by

bigCover of the book Temporary Shelters and Surrounding Communities by

bigCover of the book The Nexus: Energy, Environment and Climate Change by

bigCover of the book Taxation and Development - A Comparative Study by

bigCover of the book Intuitionistic Fuzzy Calculus by

bigCover of the book Modern Mysteries of the Moon by

bigCover of the book Toward Brain-Computer Interaction in Paralysis by

bigCover of the book Managing Forest Ecosystems: The Challenge of Climate Change by

bigCover of the book Computational Methods and Clinical Applications for Spine Imaging by

bigCover of the book International Technology Robotics 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