Theory and Applications of Satisfiability Testing - SAT 2006 - Biere, Armin; Gomes, Carla P.; Kanade, Takeo; Kittler, Josef (Springer Berlin / Heidelberg, 2006)