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 Information Technology in Disaster Risk Reduction by

bigCover of the book Graceful, Harmonious and Magic Type Labelings by

bigCover of the book Unbounded Weighted Composition Operators in L²-Spaces by

bigCover of the book Studies of ID Practices by

bigCover of the book Antarctica: Earth's Own Ice World by

bigCover of the book Graph Transformation by

bigCover of the book Context-Aware Systems and Applications by

bigCover of the book Bacterial Diversity in Sustainable Agriculture by

bigCover of the book Handbook of Agri-Food Law in China, Germany, European Union by

bigCover of the book The Southern Energy Corridor: Turkey's Role in European Energy Security by

bigCover of the book Advances in Network-Based Information Systems by

bigCover of the book Putnam and Beyond by

bigCover of the book Bioinspired Heuristics for Optimization by

bigCover of the book Perspectives on the Legal Guardianship of Children in Côte d'Ivoire, South Africa, and Uganda by

bigCover of the book Nonlinear Ultrasonic and Vibro-Acoustical Techniques for Nondestructive Evaluation 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