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 ((Lecture Notes in Computer Science))