Ebook: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Author: Matti Jarvisalo Allen Van Gelder
- Tags: Intelligence & Semantics, AI & Machine Learning, Computer Science, Computers & Technology, Machine Theory, AI & Machine Learning, Computer Science, Computers & Technology, Networks, Networks Protocols & APIs, Networking & Cloud Computing, Computers & Technology, Algorithms, Data Structures, Genetic, Memory Management, Programming, Computers & Technology, Applied, Biomathematics, Differential Equations, Game Theory, Graph Theory, Linear Programming, Probability & Statistics, Statistics, Stochastic Modeling, Vector Analysi
- Series: LNCS 7962
- Year: 2013
- Publisher: Springer
- Edition: 2013
- Language: English
- pdf
Download the book Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)