Ebook: Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Author: Karem A. Sakallah Laurent Simon
- 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, Logic, Software Design Testing & Engineering, Programming, Computers & Technology, Logic, Pure Mathematics, Mathematics, Science & Math, Algorithms, Computer Science, Ne
- Series: LNCS 6695
- Year: 2011
- Publisher: Springer
- Edition: 2011
- Language: English
- pdf
Download the book Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)