Armin Biere Carla P. Gomes Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings 4121 2006 3-540-37206-7 SAT Lecture Notes in Computer Science Springer db/conf/sat/sat2006.html