Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings - Biere, Armin; Gomes, Carla P. (Springer Berlin Heidelberg, 2006)