Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Hans Kleine Büning Xishun Zhao Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings 4996 2008 978-3-540-79718-0 SAT Lecture Notes in Computer Science Springer db/conf/sat/sat2008.html