Ebook: Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Author: Ofer Strichman Stefan Szeider
- Tags: 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, Algorithms, Data Structures, Genetic, Memory Management, Programming, Computers & Technology, Software Development, Software Design Testing & Engineering, Programming, Computers & Technology, Logic, Software Design Testing & Engineering, Programming, Computers & Technology, Logic, Pure M
- Series: LNCS 6175
- Year: 2010
- Publisher: Springer
- Edition: 2010
- Language: English
- pdf
Download the book Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)