Ebook: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Author: Marijn Heule Sean Weaver
- Tags: Intelligence & Semantics, AI & Machine Learning, Computer Science, Computers & Technology, Machine Theory, AI & Machine Learning, Computer Science, Computers & Technology, Data Processing, Databases & Big Data, Computers & Technology, Networks, Networks Protocols & APIs, Networking & Cloud Computing, Computers & Technology, Artificial Intelligence, Computer Science, New Used & Rental Textbooks, Specialty Boutique
- Series: LNCS 9340
- Year: 2015
- Publisher: Springer
- Edition: 1st ed. 2015
- Language: English
- pdf
Download the book Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)