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 Experimental Research in Earthquake Engineering by

bigCover of the book CFD Modeling and Simulation in Materials Processing 2018 by

bigCover of the book Emergent Practices and Material Conditions in Learning and Teaching with Technologies by

bigCover of the book Principles and Practice of Constraint Programming by

bigCover of the book Lectures in Feedback Design for Multivariable Systems by

bigCover of the book Integrated Formal Methods by

bigCover of the book A Mastery Approach to Complex Esophageal Diseases by

bigCover of the book Nonequilibrium Dynamics of Collective Excitations in Quantum Materials by

bigCover of the book Media and Digital Management by

bigCover of the book Pathways to Environmental Sustainability by

bigCover of the book Non-Linguistic Analysis of Call Center Conversations by

bigCover of the book Quantum Theory and Free Will by

bigCover of the book The Changing Epistemic Governance of European Education by

bigCover of the book Smart Power Systems and Renewable Energy System Integration by

bigCover of the book Dual-Energy CT in Cardiovascular Imaging 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