%0 Book
%A Armin Biere, Carla P. Gomes )eds.(
%T Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
%U /book/101390616/Theory-and-applications-of-satisfiability-testing/