Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings - Armin Biere, Carla P. Gomes ((Lecture Notes in Computer Science))