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 Objectivity, Realism, and Proof by

bigCover of the book Topics in Modal Analysis I, Volume 7 by

bigCover of the book Human Rights-Based Approaches to Clinical Social Work by

bigCover of the book Handbook of Convex Optimization Methods in Imaging Science by

bigCover of the book Art, Creativity, and Politics in Africa and the Diaspora by

bigCover of the book Christianity, Globalization, and Protective Homophobia by

bigCover of the book The Origins of Democracy in Tribes, City-States and Nation-States by

bigCover of the book Renewable Energy in the Service of Mankind Vol II by

bigCover of the book Privacy Technologies and Policy by

bigCover of the book Boomerang Kids: The Demography of Previously Launched Adults by

bigCover of the book Computer Vision – ECCV 2016 Workshops by

bigCover of the book Artificial Intelligence in IoT by

bigCover of the book From Post-Democracy to Neo-Democracy 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