Theory and Applications of Satisfiability Testing – SAT 2008
-
häftad
,
Engelska, 2008