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 Advanced Procedures for Pain Management by

bigCover of the book Emerging Issues in Fish Larvae Research by

bigCover of the book Submarine Mass Movements and Their Consequences by

bigCover of the book Solar to Chemical Energy Conversion by

bigCover of the book Sensitivity Analysis in Remote Sensing by

bigCover of the book Ideals, Interests, and U.S. Foreign Policy from George H. W. Bush to Donald Trump by

bigCover of the book Cybersecurity for Industry 4.0 by

bigCover of the book Rice Production Worldwide by

bigCover of the book Earths of Distant Suns by

bigCover of the book Modeling, Design, Construction, and Operation of Power Generators with Solid Oxide Fuel Cells by

bigCover of the book Rape Culture, Gender Violence, and Religion by

bigCover of the book Infiltration Measurements for Soil Hydraulic Characterization by

bigCover of the book Organizing for the Digital World by

bigCover of the book International Research, Policy and Practice in Teacher Education by

bigCover of the book Taking Offence on Social Media 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