Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, 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 2016

More books from Springer International Publishing

bigCover of the book Computational Intelligence in Digital and Network Designs and Applications by

bigCover of the book Demography of Refugee and Forced Migration by

bigCover of the book Processes of Believing: The Acquisition, Maintenance, and Change in Creditions by

bigCover of the book Computations and Computing Devices in Mathematics Education Before the Advent of Electronic Calculators by

bigCover of the book Anatomy and Exposures of Spinal Nerves by

bigCover of the book Multibody Dynamics by

bigCover of the book Personal Flourishing in Organizations by

bigCover of the book The Long-Term Fate of Invasive Species by

bigCover of the book Concepts in Quantum Field Theory by

bigCover of the book Farming on the Fringe by

bigCover of the book Micro to MACRO Mathematical Modelling in Soil Mechanics by

bigCover of the book Advances in Mobile Cloud Computing and Big Data in the 5G Era by

bigCover of the book Management of Cyber Physical Objects in the Future Internet of Things by

bigCover of the book Progress in Science, Progress in Society by

bigCover of the book Large-scale Production of Paper-based Li-ion Cells 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