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 The Holy Spirit and Christian Formation by

bigCover of the book Geospatial Technologies and Climate Change by

bigCover of the book Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers by

bigCover of the book Corporate Social Responsibility in Asia by

bigCover of the book Christian Ethics and Corporate Culture by

bigCover of the book Bronislaw Malinowski's Concept of Law by

bigCover of the book Applications in Electronics Pervading Industry, Environment and Society by

bigCover of the book Recent Trends in Algebraic Development Techniques by

bigCover of the book Computer Analysis of Images and Patterns by

bigCover of the book Formal System Verification by

bigCover of the book Carl Friedrich von Weizsäcker: Major Texts in Philosophy by

bigCover of the book An Introduction to Riemannian Geometry by

bigCover of the book Toward a Phenomenology of Addiction: Embodiment, Technology, Transcendence by

bigCover of the book Multidisciplinary Design of Sharing Services by

bigCover of the book Light-Responsive Nanostructured Systems for Applications in Nanomedicine 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