Ebook: Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Author: Holger H. Hoos David G. Mitchell
- Tags: Intelligence & Semantics, AI & Machine Learning, Computer Science, Computers & Technology, Networks, Networks Protocols & APIs, Networking & Cloud Computing, Computers & Technology, Operating Systems, BSD, Linux, Macintosh, Solaris, Unix, Windows, Computers & Technology, Algorithms, Data Structures, Genetic, Memory Management, Programming, Computers & Technology, Logic, Pure Mathematics, Mathematics, Science & Math, Algorithms, Computer Science, New Used & Rental Textbooks, Specialty Boutique, Artificial Intelligence, Compu
- Series: LNCS 3542
- Year: 2005
- Publisher: Springer
- Edition: 2005
- Language: English
- pdf
Download the book Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)