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 Ecotourism’s Promise and Peril by

bigCover of the book Modern Mysteries of the Moon by

bigCover of the book Advances in Knowledge Discovery and Management by

bigCover of the book Emergency Department Management of Obstetric Complications by

bigCover of the book Dental Erosion and Its Clinical Management by

bigCover of the book Carotenoids in Nature by

bigCover of the book ROI in Public Health Policy by

bigCover of the book Analytical Finance: Volume II by

bigCover of the book Analysis and Modeling of Complex Data in Behavioral and Social Sciences by

bigCover of the book Security with Intelligent Computing and Big-data Services by

bigCover of the book Deportation and Return in a Border-Restricted World by

bigCover of the book Hospital Wastewaters by

bigCover of the book Sustainable Supply Chains by

bigCover of the book From Special Relativity to Feynman Diagrams 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