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