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