Theory and Applications of Satisfiability Testing - SAT 2009 - Kullmann, Oliver; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Computer Science (Hardware & Networks)