Theory and Applications of Satisfiability Testing
-
häftad
,
Engelska, 2004