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 Fiscal Rules - Limits on Governmental Deficits and Debt by

bigCover of the book Simulated Evolution and Learning by

bigCover of the book Education, Sustainability and the Ecological Social Imaginary by

bigCover of the book Growth of the Southern Andes by

bigCover of the book Adaptation, Awards Culture, and the Value of Prestige by

bigCover of the book Principles of an Epistemology of Values by

bigCover of the book Nausea and Vomiting by

bigCover of the book 100 Years of NCVO and Voluntary Action by

bigCover of the book Multifunctional Gold Nanostars for Cancer Theranostics by

bigCover of the book The Ordinary Presidency of Donald J. Trump by

bigCover of the book The Ageing Immune System and Health by

bigCover of the book From Polyphenylenes to Nanographenes and Graphene Nanoribbons by

bigCover of the book Electronic Governance and Open Society: Challenges in Eurasia by

bigCover of the book Test of Implicit Associations in Relationship Attitudes (TIARA) 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